1640 search results - page 233 / 328 » Design of Synchronous Action Systems |
190
click to vote
JCS
2008
15 years 6 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
173
click to vote
ATAL
2007
Springer
16 years 27 days ago
2007
Springer
Most Interactive Storytelling systems developed to date have followed a task-based approach to story representation, using planning techniques to drive the story by generating a s...
180
click to vote
PERVASIVE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. One of the key challenges faced when developing contextaware pervasive systems is to capture the set of inputs that we want a system to adapt to. Arbitrarily specifying r...
172
click to vote
AI
1999
Springer
15 years 6 months ago
1999
Springer
While terminology and some concepts of behavior-based robotics have become widespread, the central ideas are often lost as researchers try to scale behavior to higher levels of co...
169
click to vote
CODES
2008
IEEE
16 years 1 months ago
2008
IEEE
As computing and communications increasingly pervade our lives, security and protection of sensitive data and systems are emerging as extremely important issues. Networks-onChip (...