2367 search results - page 133 / 474 » Harvesting design for an application framework |
184
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
In this paper we present a new framework for specifying access control policies in smart spaces called Criticality-Aware Access Control (CAAC). The main idea is to automatically r...
195
click to vote
FMICS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
164
click to vote
AOIS
2003
15 years 8 months ago
2003
Abstract. In this paper, we describe an Intelligent Multiagent Infrastructure for Distributed Systems in Education (or I-MINDS) framework that applies an agent-oriented information...
174
click to vote
LOPSTR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Context-sensitive analysis provides information which is potentially more accurate than that provided by context-free analysis. Such information can then be applied in or...
165
click to vote
CODES
2006
IEEE
16 years 17 days ago
2006
IEEE
Real-time multi-media applications are increasingly being mapped onto MPSoC (multi-processor system-on-chip) platforms containing hardware-software IPs (intellectual property) alo...