875 search results - page 117 / 175 » Representing distributed systems using the Open Provenance M... |
ISSTA
2004
ACM
15 years 3 months ago
2004
ACM
This paper deals with testing of nondeterministic software systems. We assume that a model of the nondeterministic system is given by a directed graph with two kind of vertices: s...
JCIT
2007
14 years 9 months ago
2007
This paper investigates the quality of information and intelligence in the United Kingdom’s (UK) police intelligence units with a particular emphasis on the role of paper-based ...
CVPR
2005
IEEE
15 years 11 months ago
2005
IEEE
In this demonstration, we present the Automatic Linguistic Indexing of Pictures (ALIP) system. The system annotates images with linguistic terms, chosen among hundreds of such ter...
HASE
1998
IEEE
15 years 2 months ago
1998
IEEE
Fault trees provide a graphical and logical framework for analyzing the reliability of systems. A fault tree provides a conceptually simple modeling framework to represent the sys...
116
click to vote
EDOC
2008
IEEE
14 years 10 months ago
2008
IEEE
This paper presents an approach for embodying nonfunctional requirements (NFRs) into software architecture using architectural tactics. Architectural tactics are reusable architec...