7209 search results - page 377 / 1442 » Software Engineering for Multi-Agent Systems |
102
Voted
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. A syntactic framework called SGSOS, for defining well-behaved Markovian stochastic transition systems, is introduced by analogy to the GSOS congruence format for nondeter...
AVI
2000
15 years 2 months ago
2000
To support users in querying geographic databases we have developed a system that lets people sketch what they are looking for. It closes the gap between user and information syst...
151
Voted
ARCS
2012
Springer
13 years 8 months ago
2012
Springer
: This paper presents a novel approach to efficiently perform early system level design space exploration (DSE) of MultiProcessor System-on-Chip (MPSoC) based embedded systems. By...
101
click to vote
VAMOS
2010
Springer
15 years 2 months ago
2010
Springer
Revision control systems are a major means to manage versions and variants of today's software systems. An ongoing problem in these systems is how to resolve conflicts when me...
98
Voted
COMPSAC
2004
IEEE
15 years 4 months ago
2004
IEEE
Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour in spite of the appearance of errors. ...