2123 search results - page 60 / 425 » Composition of Cyber-Physical Systems |
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
146
click to vote
FMCO
2009
Springer
15 years 1 months ago
2009
Springer
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
259
click to vote
DLOG
2011
14 years 7 months ago
2011
This paper examines a new technique based on tableau, that allows one to introduce composition of roles from the right hand side of complex role inclusion axioms (RIAs). Our motiva...
124
click to vote
PERCOM
2006
ACM
16 years 3 months ago
2006
ACM
Dynamically creating new, composite services "on the fly" using existing ones in a local interaction environment (e.g. a home, meeting room, airport lounge, etc.) presen...