1541 search results - page 137 / 309 » Tools and Techniques for Model Checking Networked Programs |
122
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
Checking for properties of Web ontologies is important for the development of reliable Semantic Web systems. Software specification and verification tools can be used to complem...
127
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
134
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
119
click to vote
RAID
2005
Springer
15 years 10 months ago
2005
Springer
We perform host-based intrusion detection by constructing a model from a program’s binary code and then restricting the program’s execution by the model. We improve the effecti...
156
click to vote
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...