Sciweavers

238 search results - page 15 / 48
» Conflicts and Fair Testing
Sort
View
TIS
1998
62views more  TIS 1998»
13 years 8 months ago
An Ethics For The New Surveillance
The Principles of Fair Information Practice are almost three decades old and need to be broadened to take account of new technologies for collecting personal information such as d...
Gary T. Marx
AAAI
2008
13 years 11 months ago
Error Classification in Action Descriptions: A Heuristic Approach
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
Thomas Eiter, Michael Fink, Ján Senko
AIR
2004
130views more  AIR 2004»
13 years 8 months ago
A Hybrid Framework for Over-Constrained Generalized
Abstract. In this work we study an over-constrained scheduling problem where constraints cannot be relaxed. This problem originates from a local defense agency where activities to ...
Andrew Lim, Brian Rodrigues, Ramesh Thangarajo, Fe...
RTSS
1999
IEEE
14 years 28 days ago
High-Level Modeling and Analysis of TCAS
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
Carolos Livadas, John Lygeros, Nancy A. Lynch
ACMACE
2004
ACM
14 years 2 months ago
Scene-driver: a narrative-driven game architecture reusing broadcast animation content
Currently there is much interest in the development of computer and DVD-based games and activities that supplement or are marketed alongside broadcast television content. Scene-Dr...
Annika Wolff, Paul Mulholland, Zdenek Zdráh...