241 search results - page 19 / 49 » Design by Contract Using Meta-Assertions |
RULEML
2005
Springer
14 years 1 months ago
2005
Springer
an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML . 45 Adrian Giurca and Gerd Wagner A Semantic Web Framework for Interleaving Policy Reasoning and External Servic...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we develop a novel probabilistic model of computational trust that explicitly deals with correlated multi-dimensional contracts. Our starting point is to consider an...
MANSCI
2010
13 years 6 months ago
2010
Firms that rely on functioning mission-critical equipment for their businesses cannot a¤ord signi…cant operational downtime due to system disruptions. To minimize the impact of...
CHI
2008
ACM
14 years 8 months ago
2008
ACM
We present a qualitative study of mobile phone ownership, replacement and disposal practices geared towards identifying design opportunities towards sustainable mobile phone inter...
ICRE
1996
IEEE
13 years 11 months ago
1996
IEEE
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...