Sciweavers

489 search results - page 29 / 98
» Reasoning about confidentiality at requirements engineering ...
Sort
View
126
Voted
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
15 years 6 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
ECSA
2011
Springer
14 years 7 days ago
Architecture-Based Run-Time Fault Diagnosis
Abstract. An important step in achieving robustness to run-time faults is the ability to detect and repair problems when they arise in a running system. Effective fault detection a...
Paulo Casanova, Bradley R. Schmerl, David Garlan, ...
122
Voted
ISMAR
2005
IEEE
15 years 6 months ago
Augmenting Deformable Objects in Real-Time
We present a real-time system that can draw virtual patterns or images on deforming real objects by estimating both the deformations and the shading parameters. We show that this ...
Julien Pilet, Vincent Lepetit, Pascal Fua
ICDE
2010
IEEE
195views Database» more  ICDE 2010»
15 years 5 months ago
Interaction-Aware Prediction of Business-Intelligence Workload Completion Times
— While planning the execution of report-generation workloads, database administrators often need to know how long different query workloads will take to run. Database systems ru...
Mumtaz Ahmad, Songyun Duan, Ashraf Aboulnaga, Shiv...
93
Voted
GAMEON
2000
15 years 1 months ago
Real Time Goal Orientated Behaviour for Computer Game Agents
To increase the depth and appeal of computer games, the intelligence of the characters they contain needs to be increased. These characters should be played by intelligent agents ...
Nick Hawes