3516 search results - page 509 / 704 » Integrating Security Modeling into Embedded System Design |
125
click to vote
DSVIS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
162
click to vote
MOBISYS
2008
ACM
16 years 4 months ago
2008
ACM
Many people desire ubiquitous access to their personal computing environments. We present a system in which a user leverages a personal mobile device to establish trust in a publi...
129
click to vote
PERVASIVE
2005
Springer
15 years 10 months ago
2005
Springer
Ubiquitous Web systems have to deal with varying context information in order to support context awareness. Accomplishing this requirement necessitates gathering, processing and r...
150
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, OMNI, that allows the balance of global organizational requirements with the autonomy of individual agents...
135
click to vote
CODES
2005
IEEE
15 years 10 months ago
2005
IEEE
Design of programmable processors and embedded applications requires instruction-set simulators for early exploration and validation of candidate architectures. Interpretive simul...