882 search results - page 118 / 177 » Allowing State Changes in Specifications |
175
click to vote
MOBISYS
2007
ACM
16 years 5 months ago
2007
ACM
In this paper, we propose a simple yet effective method of identifying traffic conditions on surface streets given location traces collected from on-road vehicles--this requires o...
137
click to vote
GLOBECOM
2009
IEEE
16 years 19 days ago
2009
IEEE
— In this paper, as a extended structure of the existing relay-destination joint minimum mean square error (MMSE) design, we propose a new source-relay-destination joint MMSE des...
152
click to vote
APPROX
2009
Springer
16 years 15 days ago
2009
Springer
In this paper, we provide a polylogarithmic bound that holds with high probability on the insertion time for cuckoo hashing under the random-walk insertion method. Cuckoo hashing ...
140
click to vote
DEBS
2009
ACM
16 years 12 days ago
2009
ACM
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...
158
click to vote
CCGRID
2008
IEEE
16 years 11 days ago
2008
IEEE
—Large scale production grids are a major case for autonomic computing. Following the classical definition of Kephart, an autonomic computing system should optimize its own beha...