847 search results - page 129 / 170 » Real-time operating systems for embedded computing |
129
click to vote
EMNETS
2007
15 years 7 months ago
2007
The node localization problem in Wireless Sensor Networks has received considerable attention, driven by the need to obtain a higher location accuracy without incurring a large, p...
124
Voted
VLSID
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper describes the system design of a lowpower wireless camera. A system level approach is used to reduce energy dissipation and maximize battery lifetime. System properties...
133
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...
145
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
This paper describes the use of fault tolerance in a multiagent system. Such an approach is based on the modeling of autonomous agents with planning capabilities. These capabiliti...
117
Voted
RTA
2004
Springer
15 years 8 months ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...