Sciweavers

2796 search results - page 152 / 560
» A time structure based software reliability model
Sort
View
UAI
2003
13 years 10 months ago
Strong Faithfulness and Uniform Consistency in Causal Inference
A fundamental question in causal inference is whether it is possible to reliably infer the manipulation effects from observational data. There are a variety of senses of asymptot...
Jiji Zhang, Peter Spirtes
ICFEM
2009
Springer
14 years 3 months ago
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
Anil Madhavapeddy
ICCS
2003
Springer
14 years 2 months ago
Representing Time and Modality in Narratives with Conceptual Graphs
In this paper we investigate principles of the representation of time and modality in terms of conceptual graphs. Based on the works of A. N. Prior, and C. S. Peirce, we suggest a ...
Henrik Schärfe, Peter Øhrstrøm
PRIMA
2007
Springer
14 years 3 months ago
Supporting Requirements Analysis in Tropos: A Planning-Based Approach
Abstract. Software systems are becoming more and more part of human life influencing organizational and social activities. This introduces the need of considering the design of a ...
Volha Bryl, Paolo Giorgini, John Mylopoulos
AICOM
2004
105views more  AICOM 2004»
13 years 9 months ago
Using WordNet for case-based retrieval of UML models
Software complexity has increased substantially in the last decade. This has made software development teams work faster and under tight budgets. Reusing software can be a way of s...
Paulo Gomes, Francisco C. Pereira, Paulo Paiva, Nu...