冰与火
注册：2007-05-17 21:31:14
正六品上:朝议郎|昭武校尉
正六品上:朝议郎|昭武校尉
💧5544
🌟412
💓12
🌟412
💓12
家园
Axiomatizing software test data accuracy，发表于IEEE trans on software engineering 86年。 我查IEEE电子图书馆,这个学报刚好缺了86年的，不知道怎么回事。 我的邮箱，[email protected] ...
以前看过软件中有个95/5原则，是说一些大型应用软件中95%的人只使用软件5%的功能。现在写论文想引用这一结论，请问这一说法的出处？是否有相应的调查报告？（以前看过一篇美国关于应用安全的论文，是讲如何解决word的安全问题的，其中有详细的调查数据，但现在找不到那篇文章了。） ...
我的形式化理论中,有大量的概念和定义,用我已有的数学知识已经表达不过来了.考虑引入拓扑中,但估计得等这篇文章投出去后再慢慢搞. 这里我用latex的语法来表示数学符号,大家应该都能看懂吧. 现在的问题是,有一组随机变量x_1,x_2,...,x_n组成一个向量\vec ...
看看主帖和回帖的花数，可以说明一点点问题
向量变量X=(x1,x2,...,xn)中,X和x1之间一般称做什么关系?用什么符号表示?
ACM Transactions on Computer Systems（TOCS）一般审稿时间有多长？
说是翻译，其实基本是重写，还发现了原文的不少表述问题。 写完后还有外教更正，表述上应该没问题，现在担心的就是数学叙述是否能被人接受的问题。
第一个问题：逆否命题英文怎么说? 第二个问题：哪位大牛能提供一个数学归纳法证明的英文叙述例子？
河里就这一个名字，以前其他一些论坛用过很多名字。
有毕业的压力，需要4-5个月内能录用的sci论文一篇。国内学报已头两篇，但结果不可控。 文章内容是关于操作系统安全理论基础的，其内容可以看作一个试用系统范围略有限制（有三条假设，但绝大多数高安全级别系统应该符合这些假设），但分析能力大大提高的access control m ...
crypto, Euro crypto 和asian crypto偏重密码学方面，和我的研究方向不符 USENIX Security本来是我首先考虑的，但已经错过时间了。IEEE和ACM的会议也一样。 至于我对自己文章的信心，现在非常足，这么说吧，我相信任何档次的会议或者 ...
会议缩写是ISCIS,全名为22nd International Symposium on Computer and Information Sciences，在一个会议级别表[URL=]http://www.ntu.edu.sg/home/assourav/crank.htm[ ...
取部分内容投一个一般的会议保证速度，全文认真翻译订正后投高影响因子的杂志。 还有一个遗留问题，在理论基础上，我还写了一个安全模型的文章，感觉这个模型很有趣，并且因为是对已有模型的扩充，思路也比较巧妙，因此可能更容易被人接受。但由于模型的理论基础依赖于打算投的这篇文章，所以这 ...
但是我目前的情况是，论文全文讲的是一个理论体系，任何删节都会导致内容不完整，而全文长度会超过会议论文长度要求。 因此，投会议只能选取其中部分内容，而投期刊则可以全文投稿。基本上，期刊中文章的内容是会议论文内容+再加上新的一段内容，两部分长度相当。而这段新内容意义重大，和旧内 ...
一个无名小卒，独自埋头苦干，结果搞出了重大发现，这怎么看怎么像民科的神话... 不过好歹我也算接受了十几年专业教育，这套理论从一些雏形概念开始算起，已经有八年时间了，以我信息安全、操作系统、应用软件和数学方面的背景知识，目前尚无法发现其漏洞。 为了这点雏形的想法 ， ...