397 search results - page 49 / 80 » Coalgebraic Models for Reactive Systems |
DAC
1998
ACM
14 years 9 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
MBEES
2007
13 years 10 months ago
2007
: The development of embedded systems is a challenging task because of the distributed, reactive and real-time nature of such systems. Distribution of embedded components across bu...
SIAMSC
2008
13 years 8 months ago
2008
Abstract. Hybrid or multiphysics algorithms provide an efficient computational tool for combining micro- and macroscale descriptions of physical phenomena. Their use becomes impera...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
Researchers have been emphasizing the strong role that multi-agent systems can play progressively towards the design and implementation of complex autonomic systems. The aim of th...
HAPTICS
2002
IEEE
14 years 1 months ago
2002
IEEE
Haptic Interfaces have been used as cooperative systems to reproduce and simulate human actions. The Haptic Interface (HI) can be used as a tool capable of interacting dynamically...