804 search results - page 132 / 161 » On the Termination of the Chase Algorithm |
126
Voted
MIDDLEWARE
2005
Springer
15 years 6 months ago
2005
Springer
Group management service plays a key role in wireless sensor networks (WSNs) as it provides support to high level middleware services such as object tracking, security, fault-tole...
92
Voted
APLAS
2004
ACM
15 years 6 months ago
2004
ACM
Abstract. In component-based programming, the programmer assembles applications from prefabricated components. The assembly process has two main steps: adapting a component by twea...
103
Voted
SENSYS
2004
ACM
15 years 6 months ago
2004
ACM
Reprogramming of sensor networks is an important and challenging problem as it is often necessary to reprogram the sensors in place. In this paper, we propose a multihop reprogram...
FORMATS
2004
Springer
15 years 6 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
72
Voted
FPGA
2004
ACM
15 years 6 months ago
2004
ACM
In this work, we parameterize and explore the interconnect structure of pipelined FPGAs. Specifically, we explore the effects of interconnect register population, length of regist...