1407 search results - page 189 / 282 » Using Use Cases in Executable Z |
117
click to vote
CCIA
2005
Springer
15 years 9 months ago
2005
Springer
One of the main keys in case-based reasoning system is the retrieval phase, where the most similar cases are retrieved by means of a similarity function. According to the problem, ...
175
click to vote
CAV
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
126
click to vote
SC
2003
ACM
15 years 9 months ago
2003
ACM
We investigate runtime strategies for data-intensive applications that involve generalized reductions on large, distributed datasets. Our set of strategies includes replicated fi...
146
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
Many MPSoC applications are loop-intensive and amenable to automatic parallelization with suitable compiler support. One of the key components of any compiler-parallelized code is...
117
click to vote
ICAD
2004
15 years 5 months ago
2004
Previous work on the production and test of various sonifications has shown that adding a sonification to an interface can assist the execution of a variety of operator tasks [1,2...