7075 search results - page 318 / 1415 » Models and heterogeneous reasoning |
191
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
Developing a functional prototype of a system-on-chip provides a unifying vehicle for model validation and system refinement. Keeping the prototype executable everal abstraction l...
131
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper contributes to the field of measuring (un)linkability in communication systems; a subproblem of privacy protection. We propose an attacker state model for attacks on...
154
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Commercial-off-the-shelf components (COTS) are widely reused at present and black-box composition is the unique way to integrate them into the target system. However, various mism...
195
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents an architectural model for contextual-based delegation access control for pervasive computing, particularly access control mechanisms for ad hoc coalition scen...
167
click to vote
ICCS
2004
Springer
16 years 3 days ago
2004
Springer
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...