Sciweavers

51 search results - page 7 / 11
» LegalRuleML: Design Principles and Foundations
Sort
View
249
Voted
STORYTELLING
2005
Springer
16 years 27 days ago
Formal Encoding of Drama Ontology
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo
182
Voted
ICSE
2001
IEEE-ACM
15 years 12 months ago
Theory of Software Reliability Based on Components
We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce ...
Richard G. Hamlet, David V. Mason, Denise M. Woit
GRAPHITE
2004
ACM
16 years 26 days ago
Dual space drawing methods for cones
Ruled surface design and its applications are widely used in CAGD (Computer Aid Geometric Design) and industrial areas. In this paper, the cone is a particular ruled surface, whic...
Rena Ding, Yan Zhang
SIGOPSE
2004
ACM
16 years 26 days ago
Trust but verify: accountability for network services
This paper promotes accountability as a central design goal for dependable networked systems. We define three properties for accountable systems that extend beyond the basic secu...
Aydan R. Yumerefendi, Jeffrey S. Chase
DARE
2000
170views more  DARE 2000»
15 years 8 months ago
Augmented reality: which augmentation for which reality?
In this paper, we first present a brief review of approaches used for studying and designing Augmented Reality (AR) systems. The variety of approaches and definitions in AR requir...
Emmanuel Dubois, Laurence Nigay