Sciweavers

3868 search results - page 15 / 774
» Open Systems in TLA
Sort
View
HT
2003
ACM
14 years 1 months ago
Increasing the usage of open hypermedia systems: a developer-side approach
This paper argues that the existence of a developer support framework is a critical issue to the usage of Open Hypermedia Systems (OHSs). For this reason, the OHS Community would ...
Nikos Karousos, Manolis Tzagarakis, Ippokratis Pan...
CONCUR
2001
Springer
14 years 1 months ago
Compositional Modeling of Reactive Systems Using Open Nets
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Rei...
DEXAW
1998
IEEE
124views Database» more  DEXAW 1998»
14 years 23 days ago
Managing Evolution of Coordination Aspects in Open Systems
Most of the work on coordination technology so far has focused on the development of special coordination languages and environments that provide the basic mechanisms for realizin...
Juan Carlos Cruz, Sander Tichelaar
IWOMP
2009
Springer
14 years 3 months ago
Evaluating OpenMP 3.0 Run Time Systems on Unbalanced Task Graphs
The UTS benchmark is used to evaluate task parallelism in OpenMP 3.0 as implemented in a number of recently released compilers and run-time systems. UTS performs parallel search of...
Stephen Olivier, Jan Prins
E4MAS
2006
Springer
14 years 5 days ago
Enhancing the Environment with a Law-Governed Service for Monitoring and Enforcing Behavior in Open Multi-Agent Systems
Environment is an essential part of any multi-agent system (MAS), since it provides the surrounding conditions for agents to exist. For some sort of systems, the environment can be...
Rodrigo B. de Paes, Gustavo R. de Carvalho, Ma&iac...