1295 search results - page 39 / 259 » Palimpsests of Time and Place |
FUIN
2006
14 years 12 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
ICCD
2002
IEEE
15 years 8 months ago
2002
IEEE
— As the cost of embedded sensors and actuators drops, new applications will arise that exploit high density networks of small devices capable of a variety of sensing tasks. Alth...
115
click to vote
RTSS
2007
IEEE
15 years 6 months ago
2007
IEEE
In the last years, a progressive migration from single processor chips to multi-core computing devices has taken place in the general-purpose and embedded system market. The devel...
CIT
2007
Springer
15 years 6 months ago
2007
Springer
IEEE 802.11 based wireless LANs (WLAN) are ubiquitous nowadays. Running real time voice and video applications over LANs is becoming common place. These applications require QoS i...
ATAL
2004
Springer
15 years 5 months ago
2004
Springer
The process of pair partnership formation is an important infrastructure for many plausible MAS applications. Each agent evaluates potential partner agents, where each potential m...