Sciweavers

1148 search results - page 103 / 230
» Software engineering considered harmful
Sort
View
135
Voted
AIPRF
2007
15 years 5 months ago
Pitfalls of JESS for Dynamic Systems
We considered different varieties of inference engines for a sub-system of Mission Control Technologies (MCT) being developed at NASA Ames Research center. One inference engine, J...
Rajkumar Thirumalainambi
133
Voted
COMPUTER
2007
93views more  COMPUTER 2007»
15 years 3 months ago
The Computing Profession and Higher Education
not things, but abstractions that represent things. Data use provides human civilization’s foundation, and computers and other digital technologies have merely amplified this us...
W. Neville Holmes
SIGSOFT
2006
ACM
16 years 4 months ago
SYNERGY: a new algorithm for property checking
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
Bhargav S. Gulavani, Thomas A. Henzinger, Yamini K...
143
Voted
TCOM
2010
87views more  TCOM 2010»
14 years 10 months ago
Performance of an AFC Loop in the Presence of a Single Interferer in a Fading Channel
The performance of an automatic frequency control (AFC) loop is investigated using two measures, the mean time to loss of lock and the average switching rate. The AFC is considere...
Amin Emad, Norman C. Beaulieu
109
Voted
COMPSAC
2002
IEEE
15 years 9 months ago
Quantitative Aspects of Requirements Evolution
Requirements Evolution is considered one of the most critical issues in developing computer-based systems. Despite the recognised role of requirements in Software Engineering, Req...
Stuart Anderson, Massimo Felici