Sciweavers

2108 search results - page 307 / 422
» An Operational Semantics for Stateflow
Sort
View
ATAL
2008
Springer
15 years 6 months ago
Automatic Generation of Distributed Team Formation Algorithms from Organizational Models
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
Michael Köhler-Bußmeier, Matthias Weste...
BIRTHDAY
2008
Springer
15 years 6 months ago
A Category of Explicit Fusions
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Cia...
ATAL
2005
Springer
15 years 6 months ago
Observation-based proactive communication in team cooperation
Observation and communication are important aspects of agent teamwork. We employ the agent’s observability as the major means for individual agents to reason about the environme...
Yu Zhang, Richard A. Volz, Thomas R. Ioerger
BPM
2006
Springer
132views Business» more  BPM 2006»
15 years 6 months ago
Product-Driven Enterprise Interoperability for Manufacturing Systems Integration
The "Babel tower effect", induced by the heterogeneity of applications available in the operation of enterprises brings to a consistent lack of "exchangeability"...
Michele Dassisti, Hervé Panetto, Angela Tur...
DEXA
2008
Springer
98views Database» more  DEXA 2008»
15 years 5 months ago
REALM: Replication of Data for a Logical Group Based MANET Database
Abstract. Mobile Ad-Hoc Networks, or MANETs, provide communication between free-roaming mobile hosts without a fixed infrastructure. These MANETs operate under conditions of limite...
Anita Vallur, Le Gruenwald, Nick Hunter