2255 search results - page 271 / 451 » High Assurance Software Systems |
178
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
163
click to vote
FAST
2004
15 years 8 months ago
2004
File system traces have been used for years to analyze user behavior and system software behavior, leading to advances in file system and storage technologies. Existing traces, ho...
197
click to vote
JUCS
2000
15 years 6 months ago
2000
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
218
click to vote
ISARCS
2010
15 years 8 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
151
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Web service processes currently lack monitoring and dynamic (runtime) adaptation mechanisms. In highly dynamic processes, services frequently need to be exchanged due to a variety...