Sciweavers

826 search results - page 110 / 166
» Resolving Concurrent Interactions
Sort
View
GG
2008
Springer
15 years 4 months ago
Parallel and Sequential Independence for Borrowed Contexts
Parallel and sequential independence are central concepts in the concurrency theory of the double pushout (dpo) approach to graph rewriting. However, so far those same notions were...
Filippo Bonchi, Fabio Gadducci, Tobias Heindel
COMCOM
2000
82views more  COMCOM 2000»
15 years 3 months ago
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
Jean-Pierre Courtiat, C. A. S. Santos, Christophe ...
CORR
2011
Springer
122views Education» more  CORR 2011»
14 years 10 months ago
Triangular Dynamic Architecture for Distributed Computing in a LAN Environment
A computationally intensive large job, granulized to concurrent pieces and operating in a dynamic environment should reduce the total processing time. However, distributing jobs a...
M. Shahriar Hossain, Kazi Muhammad Najmul Hasan Kh...
IJAHUC
2011
80views more  IJAHUC 2011»
14 years 6 months ago
The Smart Home meets the Web of Things
: In recent years, the merging of computing with physical things, enabled the transformation of everyday objects into information appliances. We propose to reuse the central princi...
Andreas Kamilaris, Andreas Pitsillides, Vlad Trifa
KESAMSTA
2011
Springer
14 years 6 months ago
Extending the JADE Agent Behaviour Model with JBehaviourTrees Framework
Creating modular behaviours in JADE using a traditional method such as the FSM (Finite State Machine) can be a difficult task to achieve. The first issue with FSMs is that they do...
Iva Bojic, Tomislav Lipic, Mario Kusek, Gordan Jez...