4962 search results - page 710 / 993 » Stochastic Model Checking |
129
Voted
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
110
click to vote
CIA
2003
Springer
15 years 7 months ago
2003
Springer
Abstract For an information-agent-based system to support virtual (Internet-supported) organisations, changes in environmental conditions often demand changes in organisational beh...
124
click to vote
ECOOP
2003
Springer
15 years 7 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
127
Voted
MOMM
2009
ACM
15 years 7 months ago
2009
ACM
This paper proposes a new approach for modelling, testing and prototyping pervasive, possibly mobile, and distributed applications. It describes a set of tools aimed at supporting...
157
click to vote
EUROCAST
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Hybrid systems are a well-established mathematical model for embedded systems. Such systems, which combine discrete and continuous behavior, are increasingly used in safe...