2610 search results - page 319 / 522 » The Recognition Strategy Language |
181
click to vote
ESORICS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
160
click to vote
IROS
2006
IEEE
16 years 15 days ago
2006
IEEE
— Haptic interaction between people and machines might benefit from an understanding of haptic communication between one person and another. We recently reported results showing...
162
click to vote
ISW
2005
Springer
15 years 12 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
176
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
Prior work on TLB power optimization considered circuit and architectural techniques. A recent software-based technique for data TLBs has considered the possibility of storing the...
184
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
Service-oriented architectures and Web service infrastructure provide the ideal framework for interconnecting organizations and for defining distributed business applications. The...