2131 search results - page 41 / 427 » Multi-Agent System Development: Design, Runtime, and Analysi... |
102
click to vote
KBSE
2000
IEEE
15 years 2 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
BPM
2008
Springer
14 years 11 months ago
2008
Springer
Process management systems are used in many domains to monitor and control processes. Development processes require specific support, which is not provided by conventional workflow...
FAC
2007
14 years 9 months ago
2007
Abstract. We develop a model of Parametric Probabilistic Transition Systems, where probabilities associated with transitions may be parameters. We show how to find instances of th...
CC
2008
Springer
14 years 11 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
DAC
2010
ACM
14 years 7 months ago
2010
ACM
The verification of large radio-frequency/millimeter-wave (RF/MM) integrated circuits (ICs) has regained attention for high-performance designs beyond 90nm and 60GHz. The traditio...