2024 search results - page 318 / 405 » A Logic Based Approach for Dynamic Access Control |
116
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
113
click to vote
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
— What would it be like if we could give our robot high level commands and it would automatically execute them in a verifiably correct fashion in dynamically changing environmen...
137
click to vote
AVI
2008
15 years 5 months ago
2008
Computer visualization and networking have advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached...
161
click to vote
CODES
2005
IEEE
15 years 9 months ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
119
click to vote
MMS
2010
15 years 1 months ago
2010
Ubimedia is a concept where media files are embedded in everyday objects and the environment. We propose an approach where the user can read and write these files with his/her pe...