3521 search results - page 195 / 705 » Algorithmic Control in Concurrent Computations |
177
click to vote
DCOSS
2008
Springer
15 years 8 months ago
2008
Springer
Unlike traditional multihop forwarding among homogeneous static sensor nodes, use of mobile devices for data collection in wireless sensor networks has recently been gathering more...
184
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
It is well-known that the eigenvalue spectrum of the Laplacian matrix of a network contains valuable information about the network structure and the behavior of many dynamical proc...
178
click to vote
SASO
2010
IEEE
15 years 4 months ago
2010
IEEE
We present the ColoredPower algorithm, which is designed to provide collaborative electricity demand shaping for residential and small-business customers. Demand shaping for this m...
152
click to vote
APNOMS
2007
Springer
16 years 21 days ago
2007
Springer
Most of Voice over IP(VoIP) systems are deployed using SIP protocol and based in a client-server architecture. A lot of people and companies could be benefited if the system did n...
151
click to vote
SPIN
2005
Springer
16 years 6 hour ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...