488 search results - page 13 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
CBSE
2006
Springer
15 years 2 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
ARTS
1999
Springer
15 years 3 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
91
Voted
IJAOSE
2010
14 years 8 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
ISORC
2000
IEEE
15 years 2 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
100
click to vote
ACL
2009
14 years 8 months ago
2009
We present a new approach to learning a semantic parser (a system that maps natural language sentences into logical form). Unlike previous methods, it exploits an existing syntact...