4586 search results - page 728 / 918 » Computing stable models in parallel |
143
Voted
CONCUR
2006
Springer
15 years 7 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
143
Voted
DCOSS
2006
Springer
15 years 7 months ago
2006
Springer
Wireless sensor networks are often studied with the goal of removing information from the network as efficiently as possible. However, when the application also includes an actuato...
123
click to vote
DCOSS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We have developed a new on-line error modeling and optimizationbased localization approach for sensor networks in the presence of distance measurement noise. The approach...
138
Voted
DCOSS
2006
Springer
15 years 7 months ago
2006
Springer
We consider the problem of data propagation in wireless sensor networks and revisit the family of mixed strategy routing schemes. We show that maximizing the lifespan, balancing th...
155
Voted
DCOSS
2006
Springer
15 years 7 months ago
2006
Springer
User access control in sensor networks defines a process of granting user the access right to the information and resources. It is essential for the future real sensor network depl...