1975 search results - page 353 / 395 » Property analysis and design understanding |
106
click to vote
DSVIS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
135
click to vote
EUROCAST
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The design, development, construction and testing of an ArtificialVision controlled Traffic-Light prototype has been carried out to rule and regulate intersections. Metho...
154
click to vote
ICFEM
2003
Springer
15 years 7 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
155
click to vote
NORDSEC
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. To have certainty about identities is crucial for secure communication in digital environments. The number of digital identities that people and organizations need to man...
110
click to vote
ESOP
2001
Springer
15 years 6 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...