2514 search results - page 434 / 503 » The use of industrial-strength formal methods |
157
click to vote
IFL
2007
Springer
16 years 12 days ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
189
click to vote
KI
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
181
click to vote
MIDDLEWARE
2007
Springer
16 years 12 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
169
click to vote
ACSAC
2006
IEEE
16 years 10 days ago
2006
IEEE
Modern malware often hide the malicious portion of their program code by making it appear as data at compiletime and transforming it back into executable code at runtime. This obf...
180
click to vote
ICSEA
2006
IEEE
16 years 9 days ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...