4143 search results - page 64 / 829 » A theory of distributed aspects |
LICS
2012
IEEE
11 years 10 months ago
2012
IEEE
—Hybrid systems are a fusion of continuous dynamical systems and discrete dynamical systems. They freely combine dynamical features from both worlds. For that reason, it has ofte...
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
ICDCS
2011
IEEE
12 years 7 months ago
2011
IEEE
—Routing is a critical operation in networks. In the context of data and sensor networks, routing strategies such as shortest-path, multi-path and potential-based (“all-path”...
CONCUR
1998
Springer
13 years 12 months ago
1998
Springer
The classical theory of deterministic automata is presented in terms of the notions of homomorphism and bisimulation, which are the cornerstones of the theory of universal coalgebr...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Previous research in Group Support Systems does not include a design theory for GSS-enabled meetings. As a consequence, problems are experienced in the design, implementation and ...