Sciweavers

1888 search results - page 46 / 378
» Automatic Implementation of Distributed Systems Formal Speci...
Sort
View
COORDINATION
2006
Springer
15 years 6 months ago
Automated Evaluation of Coordination Approaches
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
Tibor Bosse, Mark Hoogendoorn, Jan Treur
IGPL
2010
117views more  IGPL 2010»
14 years 12 months ago
Executable specification of open multi-agent systems
Multi-agent systems where the agents are developed by parties with competing interests, and where there is no access to an agent's internal state, are often classified as `ope...
Alexander Artikis, Marek J. Sergot
120
Voted
COORDINATION
2000
Springer
15 years 6 months ago
GCCS: A Graphical Coordination Language for System Specification
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
115
Voted
ICASSP
2009
IEEE
15 years 9 months ago
GridNews: A distributed automatic Greek broadcast transcription system
In this paper, a distributed system storing and retrieving Broadcast News data recorded from the Greek television is presented. These multimodal data are processed in a grid compu...
Dimitrios Dimitriadis, A. Metallinou, Ioannis Kons...
122
Voted
ISORC
2007
IEEE
15 years 9 months ago
On Rigorous Design and Implementation of Fault Tolerant Ambient Systems
Developing fault tolerant ambient systems requires many challenging factors to be considered due to the nature of such systems, which tend to contain a lot of mobile elements that...
Alexei Iliasov, Alexander Romanovsky, Budi Arief, ...