2123 search results - page 166 / 425 » Composition of Cyber-Physical Systems |
173
Voted
ICALT
2006
IEEE
16 years 1 months ago
2006
IEEE
Adaptive learning systems are recognized as one of the most interesting research topics in intelligent learning management systems. Taking as a point of departure the practices an...
180
Voted
MRCO
2005
Springer
16 years 16 days ago
2005
Springer
This paper proposes a component-based architecture and development methodology for context-aware systems. A context is formally defined from relational point of view. The architec...
177
Voted
IPPS
2003
IEEE
16 years 9 days ago
2003
IEEE
We describe Dynamic UNITY, a new formalism for the specification of dynamic distributed systems based on the UNITY formalism. This formalism allows for the specification and pro...
201
Voted
AUSAI
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
173
Voted
ICFEM
2003
Springer
16 years 7 days ago
2003
Springer
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...