Sciweavers

6808 search results - page 909 / 1362
» Distributed Concurrency Control
Sort
View
CSR
2006
Springer
15 years 10 months ago
Unfolding Synthesis of Asynchronous Automata
Zielonka's theorem shows that each regular set of Mazurkiewicz traces can be implemented as a system of synchronized processes provided with some distributed control structure...
Nicolas Baudru, Rémi Morin
ESAW
2000
Springer
15 years 10 months ago
On Observing and Constraining Active Systems
While agents have emphasised the notion of active software components, they are not likely to be the only active components in agent-based systems. In this paper, we first discuss ...
Gianluca Moro, Mirko Viroli
ECAI
2008
Springer
15 years 8 months ago
A New Approach to Planning in Networks
Control of networks like those for transportation, power distribution, communication to name a few, provides challenges to planning and scheduling. Many problems can be defined in ...
Jussi Rintanen
SE
2008
15 years 7 months ago
A TTCN-3-based Web Service Test Framework
: The increased usage of Web services for critical applications introduces a growing need for efficient testing approaches to assure their quality. The Testing and Test Control Not...
Edith Werner, Jens Grabowski, Stefan Troschüt...
149
Voted
FLAIRS
2001
15 years 7 months ago
A Decision Support System for Local Government Regulatory Advice
This paper describes the implementationof a decision support systemthat helps non-technicalfront-line reception staff handle complex enquiries on a wide range of local government ...
Ian Watson