168 search results - page 16 / 34 » Towards validated real-time software |
OTM
2007
Springer
14 years 4 months ago
2007
Springer
Network intrusion detection has been generally dealt with using sophisticated software and statistical analysis, although sometimes it has to be done by administrators, either by d...
DATE
2010
IEEE
13 years 8 months ago
2010
IEEE
—Model-Based Development (MBD) provides an al level of abstraction, the model, which lets engineers focus on the business aspect of the developed system. MBD permits automatic tr...
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
WRAC
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we argue that self-modifying code can become a better strategy for realizing long-lived autonomous software systems than static code, regardless how well it was valid...
BMCBI
2006
13 years 10 months ago
2006
Background: Availability of high-resolution RNA crystal structures for the 30S and 50S ribosomal subunits and the subsequent validation of comparative secondary structure models h...