5101 search results - page 632 / 1021 » Capturing Context Requirements |
225
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
228
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Referral networks are a kind of P2P system consisting of autonomous agents who seek, provide services, or refer other service providers. Key applications include service discovery...
222
click to vote
CONEXT
2008
ACM
15 years 9 months ago
2008
ACM
Enterprise networks are important, with size and complexity even surpassing carrier networks. Yet, the design of enterprise networks remains ad-hoc and poorly understood. In this p...
253
click to vote
DCOSS
2008
Springer
15 years 9 months ago
2008
Springer
We consider a mobile sensor network monitoring a spatio-temporal field. Given limited caches at the sensor nodes, the goal is to develop a distributed cache management algorithm to...
244
click to vote
DEBS
2008
ACM
15 years 9 months ago
2008
ACM
We introduce a new type of query, called a real-time continuous query (RCQ), that captures the real-time requirements of processing data streams. We develop techniques to efficien...