Sciweavers

7206 search results - page 195 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
COMPSAC
2005
IEEE
16 years 2 days ago
Availability Evaluation of Hardware/Software Systems with Several Recovery Procedures
The use of several distinct recovery procedures is one of the techniques that can be used to ensure high availability and fault-tolerance of computer systems. This method has been...
Sergiy A. Vilkomir, David Lorge Parnas, Veena B. M...
EUROSYS
2011
ACM
14 years 10 months ago
Energy management in mobile devices with the cinder operating system
We argue that controlling energy allocation is an increasingly useful and important feature for operating systems, especially on mobile devices. We present two new low-level ions ...
Arjun Roy, Stephen M. Rumble, Ryan Stutsman, Phili...
ASWEC
2007
IEEE
16 years 24 days ago
Timed Behavior Trees and Their Application to Verifying Real-Time Systems
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...
Lars Grunske, Kirsten Winter, Robert Colvin
AUIC
2002
IEEE
15 years 11 months ago
The Tinmith System - Demonstrating New Techniques for Mobile Augmented Reality Modelling
This paper presents user interface technology, using a glove based menuing system and 3D interaction techniques. It is designed to support applications that allow users to constru...
Wayne Piekarski, Bruce H. Thomas
HICSS
2007
IEEE
79views Biometrics» more  HICSS 2007»
16 years 23 days ago
User-Based Evaluations of Search Engines: Hygiene Factors and Motivation Factors
In cyberspace, the emergence and increasing importance of search engine prompts numerous evaluation studies in regard to its effectiveness. Based on a user-oriented perspective, t...
Ya-Lan Chuang, Ling-Ling Wu