2429 search results - page 261 / 486 » Using Aspects to Design a Secure System |
111
click to vote
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
118
click to vote
JSS
2008
15 years 3 months ago
2008
This paper focuses on the proposal, design, and implementation of AWL, the Adaptive Web Language. Also, an example application named PENS is explained and implemented in AWL. AWL ...
152
click to vote
EUROSEC
2010
ACM
15 years 8 months ago
2010
ACM
We present a storage management framework for Web 2.0 services that places users back in control of their data. Current Web services complicate data management due to data lock-in...
103
click to vote
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed ...
132
click to vote
VR
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper, we introduce DLoVe, a new paradigm for designing and implementing distributed and nondistributed virtual reality applications, using one-way constraints. DLoVe allo...