1472 search results - page 289 / 295 » On Model Checking Infinite-State Systems |
ACSAC
2007
IEEE
15 years 3 months ago
2007
IEEE
Malicious code is an increasingly important problem that threatens the security of computer systems. The traditional line of defense against malware is composed of malware detecto...
93
Voted
CDVE
2007
Springer
15 years 3 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
RTSS
2006
IEEE
15 years 3 months ago
2006
IEEE
A real-time database is composed of real-time objects whose values remain valid only within their validity intervals. Each object in the database models a real world entity. The f...
84
Voted
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
IUI
2003
ACM
15 years 2 months ago
2003
ACM
How do we know if we can afford a particular purchase? We can find out what the payments might be and check our balances on various accounts, but does this answer the question? Wh...