1640 search results - page 6 / 328 » Design of Synchronous Action Systems |
GROUP
1997
ACM
13 years 11 months ago
1997
ACM
Team automata have been proposed in Ellis (1997) as a formal framework for modeling both the conceptual and the architectural level of groupware systems. Here we define team autom...
ENTCS
2007
13 years 7 months ago
2007
Process algebras are standard formalisms for compositionally describing systems by the dependencies of their observable synchronous communication. In concurrent systems, parallel ...
MIC
2003
13 years 8 months ago
2003
The possibilities of studying nonlinear physical systems by small feedback action are discussed. Analytical bounds of possible system energy change by feedback are established. Th...
MEMOCODE
2010
IEEE
13 years 5 months ago
2010
IEEE
To overcome over-synchronization in synchronous programs, we recently introduced clock refinement to our synchronous programming language Quartz. This extension basically allows p...
ICPP
2002
IEEE
14 years 12 days ago
2002
IEEE
The development of correct synchronization code for distributed programs is a challenging task. In this paper, we propose an aspect oriented technique for developing synchronizati...