1540 search results - page 302 / 308 » Embedded Systems Resources: Views on Modeling and Analysis |
PODC
1994
ACM
13 years 11 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...
VLDB
2005
ACM
14 years 7 months ago
2005
ACM
XML database systems emerge as a result of the acceptance of the XML data model. Recent works have followed the promising approach of building XML database management systems on un...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
An important aspect of mechanism design in social choice protocols and multiagent systems is to discourage insincere and manipulative behaviour. We examine the computational compl...
GIS
2006
ACM
14 years 8 months ago
2006
ACM
Remotely sensed data, in particular satellite imagery, play many important roles in environmental applications and models. In particular applications that study (rapid) changes in...
COMGEO
2010
ACM
13 years 5 months ago
2010
ACM
The vision of an integrated Earth observation system to help protect and sustain the planet and its inhabitants is significant and timely, and thus has been identified recently by...