161 search results - page 7 / 33 » Towards a Framework for Dynamic Verification of Peer-to-Peer... |
SE
2007
13 years 9 months ago
2007
: A growing demand for distributed and decentralized software, together with an increasing inherent complexity of these systems challenges traditional software engineering practice...
CN
2008
13 years 8 months ago
2008
In this paper, we propose a low-complexity auction framework to distribute spectrum in real-time among a large number of wireless users with dynamic traffic. Our design consists o...
UIC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Context-aware systems incorporate multimodal information to analyze contextual information in users’ environment and provide various proactive services according to dyn...
AUTONOMICS
2009
ACM
14 years 2 months ago
2009
ACM
Abstract. Autonomic computing is being advocated as a tool for managing large, complex computing systems. Specifically, self-organisation provides a suitable approach for developi...
FORMATS
2006
Springer
13 years 11 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...