7209 search results - page 559 / 1442 » Software Engineering for Multi-Agent Systems |
151
Voted
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
111
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Our goal is to use the vast repositories of available open source code to generate specific functions or classes that meet a user’s specifications. The key words here are spec...
148
Voted
SEFM
2009
IEEE
15 years 11 months ago
2009
IEEE
SOCK is a process calculus for the modeling of Service Oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate...
151
click to vote
IWPC
2009
IEEE
15 years 11 months ago
2009
IEEE
Visualizing an execution trace of an object-oriented system as sequence diagrams is effective to understand the behavior of the system. To support developers to understand concret...
118
click to vote
COMPSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
A new approach to the configuration and operation of electrical distribution networks is proposed. Traditionally, the medium-voltage part of the electrical grid is operated in a c...