2203 search results - page 358 / 441 » Temporal Abstract Interpretation |
104
click to vote
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Abstract-- Two-tier networks, comprising a conventional cellular network overlaid with shorter range hotspots (e.g. femtocells, distributed antennas, or wired relays), offer an eco...
EUROMED
2010
14 years 10 months ago
2010
Abstract. The aim of this project paper is to explore the opportunities and challenges of using ICT in the understanding, representation, preservation, management, interpretation o...
FUIN
2008
14 years 10 months ago
2008
The abstraction inherent in most specifications and the need to specify nondeterministic programs are two well-known sources of nondeterminism in formal specifications. In this pap...
110
click to vote
IFIPTM
2010
14 years 10 months ago
2010
Abstract. The open and dynamic nature of modern distributed systems and pervasive environments presents significant challenges to security management. One solution may be trust ma...
MFCS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. In this paper we discuss the computational power of Lipschitz dynamical systems which are robust to infinitesimal perturbations. Whereas the study in [1] was done only f...