Sciweavers

11376 search results - page 344 / 2276
» Willow System Demonstration
Sort
View
ATAL
2009
Springer
16 years 1 months ago
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
Jonathan Ezekiel, Alessio Lomuscio
CIKM
2009
Springer
16 years 1 months ago
Hydra: a hybrid recommender system [cross-linked rating and content information]
This paper discusses the combination of collaborative and contentbased filtering in the context of web-based recommender systems. In particular, we link the well-known MovieLens ...
Stephan Spiegel, Jérôme Kunegis, Fang...
ICCS
2009
Springer
16 years 1 months ago
The gMenu User Interface for Virtual Reality Systems and Environments
Desktop computers are able to provide a user interface with many features that allow the user to perform tasks such as execute applications load files and edit data. The gMenu sys...
Andrew Dunk, Adrian Haffegee
APSCC
2008
IEEE
16 years 1 months ago
Design of MyServer: A Residential Server in Smart Home Systems
This paper addresses the design and implementtation of a residential gateway: MyServer, which is to provide services regarding home security, inventory tracking, facility manageme...
Wei-Chung Teng, Yu-Chun Pao, Sheng-Luen Chung
DSRT
2008
IEEE
16 years 1 months ago
Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli