3342 search results - page 455 / 669 » Automating Abstract Interpretation |
114
Voted
DIS
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We propose an association analysis-based strategy for exploration of multi-attribute spatial datasets possessing naturally arising classification. Proposed strategy, EST...
109
Voted
CORR
2008
Springer
14 years 11 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...
101
Voted
EUROMED
2010
14 years 11 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...
109
Voted
FUIN
2008
14 years 11 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...
117
Voted
IFIPTM
2010
14 years 11 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...