8337 search results - page 51 / 1668 » Reasoning With Characteristic Models |
138
click to vote
INFORMATIKTAGE
2008
15 years 5 months ago
2008
: Software agents are often employed in distributed environments to cope with the various dynamical dimensions of such systems. Furthermore, the paradigm of agent-oriented software...
156
click to vote
WETICE
2003
IEEE
15 years 9 months ago
2003
IEEE
The World Wide Web encourages widely-distributed, open, decentralised systems that span multiple administrative domains. Recent research has turned to trust management [4] as a fr...
152
click to vote
FOSSACS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
139
click to vote
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Expectation (average) properties of continuous random variables are widely used to judge performance characteristics in engineering and physical sciences. This paper pres...
151
click to vote
BPM
2008
Springer
15 years 6 months ago
2008
Springer
This paper describes an approach for reasoning about the repairability of workflows at design time. We propose a heuristic-based analysis of a workflow that aims at evaluating its ...