7380 search results - page 564 / 1476 » Engineering Software Intensive Systems |
192
click to vote
SPIN
2007
Springer
16 years 16 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
160
Voted
SIGCSE
2006
ACM
16 years 11 days ago
2006
ACM
Plagiarism of material from the Internet is a widespread and growing problem. Computer science students, and those in other science and engineering courses, can sometimes get away...
187
click to vote
KBSE
2005
IEEE
16 years 43 min ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...
158
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and al...
156
Voted
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents DARX, our framework for building applications that provide adaptive fault tolerance. It relies on the fact that multi-agent platforms constitute a very strong ...