513 search results - page 43 / 103 » An Aspect-Oriented Approach for Mobile Embedded Software Mod... |
RE
2002
Springer
13 years 8 months ago
2002
Springer
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
IWSOS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. In this paper, we describe an approach to activity recognition, which is based on a self-organizing, ad hoc network of body-worn sensors. It makes best use of the availab...
IFM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
ECBS
2010
IEEE
14 years 3 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
AROBOTS
1998
13 years 8 months ago
1998
Off-road autonomous navigation is one of the most difficult automation challenges from the point of view of constraints on mobility, speed of motion, lack of environmental structur...