2123 search results - page 171 / 425 » Composition of Cyber-Physical Systems |
142
click to vote
CALCO
2007
Springer
16 years 21 days ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
152
click to vote
VL
2005
IEEE
16 years 2 days ago
2005
IEEE
We present a human-centered gestural system for musical improvisation, MIND. We demonstrate the relationship between music composition and programming. Preliminary field data from...
173
click to vote
ICFCA
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
167
click to vote
LCPC
2001
Springer
15 years 11 months ago
2001
Springer
Component architectures promote cross-project code reuse by facilitating composition of large applications using off-the-shelf software components. Existing component architecture...
182
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Workflow systems provide support for combining components to achieve a particular outcome. Various approaches from software engineering have been utilized within such sys...