Sciweavers

2844 search results - page 398 / 569
» A Comparison of Partitioning Operating Systems for Integrate...
Sort
View
PERCOM
2005
ACM
16 years 6 months ago
Secure context-sensitive authorization
There is a recent trend toward rule-based authorization systems to achieve flexible security policies. Also, new sensing technologies in pervasive computing make it possible to de...
Kazuhiro Minami, David Kotz
CW
2006
IEEE
16 years 16 days ago
An Interactive Mixed Reality Framework for Virtual Humans
In this paper, we present a simple and robust Mixed Reality (MR) framework that allows for real-time interaction with Virtual Humans in real and virtual environments under consist...
Arjan Egges, George Papagiannakis, Nadia Magnenat-...
DILS
2005
Springer
16 years 8 hour ago
Support for BioIndexing in BLASTgres
The ability to perform genome-wide and cross-genome data analyses can dramatically reduce the time required for new biological discoveries. This raises important issues in bioinfor...
Ruey-Lung Hsiao, Douglas Stott Parker Jr., Hung-ch...
DFG
2004
Springer
15 years 12 months ago
Combining Formal Methods and Safety Analysis - The ForMoSA Approach
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
Frank Ortmeier, Andreas Thums, Gerhard Schellhorn,...
AMS
2007
Springer
229views Robotics» more  AMS 2007»
15 years 10 months ago
A Unified Robotic Software Architecture for Service Robotics and Networks of Smart Sensors
Abstract. This paper proposes a novel architecture for the programming of multi-modal service robots and networked sensors. The presented software framework eases the development o...
Daniel Westhoff, Jianwei Zhang