149 search results - page 3 / 30 » The Timed Abstract State Machine Language: Abstract State Ma... |
EUROMICRO
2009
IEEE
13 years 9 months ago
2009
IEEE
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
ECOOP
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. While real-time garbage collection is now available in production virtual machines, the lack of generational capability means applications with high allocation rates are ...
ECCV
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. There is a growing trend toward emotional intelligence in humancomputer interaction paradigms. In order to react appropriately to a human, the computer would need to have...
ICALP
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...
ICFEM
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...