Sciweavers

766 search results - page 139 / 154
» Synthesis of Synchronous Interfaces
Sort
View
136
Voted
SCP
2010
172views more  SCP 2010»
15 years 1 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
127
Voted
SPRINGSIM
2010
15 years 1 months ago
Advanced IDE for modeling and simulation of discrete event systems
: Creating models and analyzing simulation results can be a difficult and time-consuming task, especially for non-experienced users. Although several DEVS simulators have been deve...
Matías Bonaventura, Gabriel A. Wainer, Rodr...
122
Voted
GROUP
2010
ACM
15 years 18 days ago
A study of cultural effects on mobile-collocated group photo sharing
International and intercultural collaborations provide a unique opportunity to explore cultural differences in the usage and appropriation of a technology. Mobile photo capture an...
Nirmal J. Patel, James Clawson, Namwook Kang, Seun...
145
Voted
FORTE
2009
15 years 12 days ago
Using First-Order Logic to Reason about Submodule Construction
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
Gregor von Bochmann
CISSE
2008
Springer
15 years 4 months ago
IraqComm and FlexTrans: A Speech Translation System and Flexible Framework
SRI International's IraqComm system performs bidirectional speech-to-speech machine translation between English and Iraqi Arabic in the domains of force protection, municipal ...
Michael W. Frandsen, Susanne Riehemann, Kristin Pr...