5084 search results - page 761 / 1017 » Proving Possibility Properties |
166
click to vote
FCT
2009
Springer
16 years 1 months ago
2009
Springer
In the uniform circuit model of computation, the width of a boolean circuit exactly characterises the “space” complexity of the computed function. Looking for a similar relatio...
232
click to vote
FROCOS
2009
Springer
16 years 1 months ago
2009
Springer
The developments in information technology during the last decade have been rapidly changing the possibilities for data and knowledge access. To respect this, several declarative k...
177
click to vote
MDM
2009
Springer
16 years 1 months ago
2009
Springer
While wireless sensor networks (WSNs) are typically targeted at large-scale deployment, due to many practical or inevitable reasons, a WSN may not always remain connected. In this...
186
click to vote
MIDDLEWARE
2009
Springer
16 years 1 months ago
2009
Springer
The emergence of networked devices in the home has made it possible to develop applications that control a variety of household functions. However, current devices communicate via ...
174
click to vote
SSS
2009
Springer
16 years 1 months ago
2009
Springer
The emergence of large-scale distributed applications based on many-to-many communication models, e.g., broadcast and decentralized group communication, has an important impact on ...