Sciweavers

4914 search results - page 313 / 983
» Arbitration of a help system
Sort
View
ICECCS
2005
IEEE
136views Hardware» more  ICECCS 2005»
16 years 9 days ago
Model-Based Design and Analysis of Permission-Based Security
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
Jan Jürjens, Markus Lehrhuber, Guido Wimmel
SEUS
2005
IEEE
16 years 8 days ago
Resource Management Based on Personal Service Aggregations in Smart Spaces
This paper introduces a novel resource management approach based on personal service aggregations(PSAs) for smart spaces. As a smart space is usually a sharable system that simult...
Peifeng Xiang, Yuanchun Shi
VL
2005
IEEE
110views Visual Languages» more  VL 2005»
16 years 8 days ago
Forms of Expression for Designing Visual Languages for Animation
We present further steps in our research into visual languages for animation. Animation is a rich mode of communication that is currently accessible to few, because animation syst...
Richard C. Davis, James A. Landay
ERCIMDL
2005
Springer
207views Education» more  ERCIMDL 2005»
16 years 7 days ago
DAR: A Digital Assets Repository for Library Collections
The Digital Assets Repository (DAR) is a system developed at the Bibliotheca Alexandrina, the Library of Alexandria, to create and maintain the digital library collections. The sys...
Iman Saleh, Noha Adly, Magdy Nagi
FASE
2005
Springer
16 years 7 days ago
A Framework for Counterexample Generation and Exploration
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
Marsha Chechik, Arie Gurfinkel