2250 search results - page 217 / 450 » Interactive Explanation of Software Systems |
142
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
124
click to vote
JCDL
2003
ACM
15 years 9 months ago
2003
ACM
1 This paper introduces SCENS, a Secure Content Exchange Negotiation System suitable for the exchange of private digital data that reside in distributed digital repositories. SCENS...
204
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
114
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
Fairly rapid environmental changes call for continuous surveillance and on-line decision making. There are two main areas where IT technologies can be valuable. In this paper we pr...
142
click to vote
COMSIS
2010
15 years 1 months ago
2010
This paper presents a novel computer-aided design system which uses a computational approach to producing 3D images for stimulating creativity of designers. It introduces the genet...