2123 search results - page 93 / 425 » Composition of Cyber-Physical Systems |
167
click to vote
CIA
2003
Springer
15 years 9 months ago
2003
Springer
Software agents are one of the building blocks of ambient intelligence and pervasive computing. Adaptation to changes in the execution context is necessary in order to provide cont...
128
click to vote
AH
2006
Springer
15 years 8 months ago
2006
Springer
Adaptive Hypermedia is utilised in several domains, such as eLearning and professional training, where there is a growing movement towards the use of cognitively richer and more `a...
150
click to vote
CRV
2005
IEEE
15 years 10 months ago
2005
IEEE
Docking craft in space and guiding mining machines are areas that often use remote video cameras equipped with one or more controllable light sources. In these applications, the p...
123
click to vote
IFM
2000
Springer
15 years 8 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
132
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...