Sciweavers

3868 search results - page 206 / 774
» Open Systems in TLA
Sort
View
ECSCW
1997
15 years 8 months ago
Rethinking CSCW systems: The architecture of Milano
: After eleven years, CSCW is a well recognized research field which has generated, among other things, some new theoretical findings on work practices and cooperation and some new...
Alessandra Agostini, Giorgio De Michelis, Maria An...
IJAOSE
2008
120views more  IJAOSE 2008»
15 years 7 months ago
An architecture for exception management in multiagent systems
: Multiagent Systems (MAS) are open, heterogeneous and distributed software systems of autonomous agents. The management of exception differs in MAS from what is known in usual eng...
Eric Platon, Nicolas Sabouret, Shinichi Honiden
JNCA
2008
96views more  JNCA 2008»
15 years 7 months ago
Patterns of message interchange in decoupled hypermedia systems
Open hypermedia systems provide a decoupled approach to structural computing. This entails that the architecture of the systems are made up of user agents that communicate with di...
Sinuhé Arroyo, Miguel-Ángel Sicilia,...
MCSS
2008
Springer
15 years 7 months ago
Robust boundary control of systems of conservation laws
The stability problem of a system of conservation laws perturbed by non-homogeneous terms is investigated. These non-homogeneous terms are assumed to have a small C1 -norm. By a Ri...
Christophe Prieur, Joseph J. Winkin, Georges Basti...
FSTTCS
2010
Springer
15 years 5 months ago
Place-Boundedness for Vector Addition Systems with one zero-test
Reachability and boundedness problems have been shown decidable for Vector Addition Systems with one zero-test. Surprisingly, place-boundedness remained open. We provide here a va...
Rémi Bonnet, Alain Finkel, Jérô...