2123 search results - page 152 / 425 » Composition of Cyber-Physical Systems |
155
click to vote
SOCO
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
156
click to vote
APLAS
2004
ACM
15 years 12 months ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
158
click to vote
ITS
2010
Springer
15 years 11 months ago
2010
Springer
In a controlled experiment using Comrade, a computer-supported peer review system, student reviewers offered feedback to student authors on their written analyses of a problem scen...
175
click to vote
ARTS
1999
Springer
15 years 10 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
198
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...