12981 search results - page 464 / 2597 » Model Checking (Abstract) |
116
Voted
ER
2006
Springer
15 years 8 months ago
2006
Springer
regated Graphs for Modeling Spatio-Temporal Networks - An Extended Abstract Technical Report Department of Computer Science and Engineering University of Minnesota 4-192 EECS Build...
101
Voted
INTERACTIONS
2002
15 years 4 months ago
2002
logy Abstracts/EyeWire, Inc.
158
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
132
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
148
click to vote
CAISE
2005
Springer
15 years 10 months ago
2005
Springer
Enterprise architects seek to align enterprise processes and structure with their supporting IT systems so that enterprises can flourish in their environment. The enterprise archi...