2123 search results - page 192 / 425 » Composition of Cyber-Physical Systems |
157
click to vote
ICCS
2007
Springer
16 years 22 days ago
2007
Springer
The GENIE project has built a Grid enabled framework that facilitates the integration, execution and management of component models for the study of the Earth system over millennia...
202
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
165
click to vote
ALP
1994
Springer
15 years 10 months ago
1994
Springer
This paper studies the relationship between logic programs and term rewriting systems (TRSs). A compositional transform is de ned which given a logic program computes a TRS. For a...
168
click to vote
ACL
2008
15 years 8 months ago
2008
Given several systems' automatic translations of the same sentence, we show how to combine them into a confusion network, whose various paths represent composite translations...
154
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper, we discuss how to model systems that communicate through and are coordinated by mobile channels. Mainly, we focus on modeling the exogenous coordination behavior im...