4636 search results - page 598 / 928 » Application of Linguistic Techniques for Use Case Analysis |
203
click to vote
ER
2004
Springer
16 years 1 months ago
2004
Springer
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
194
click to vote
FORMATS
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...
282
click to vote
NFM
2011
15 years 2 months ago
2011
Abstract. In parametric Markov Decision Processes (PMDPs), transition probabilities are not fixed, but are given as functions over a set of parameters. A PMDP denotes a family of ...
268
click to vote
CASES
2007
ACM
15 years 11 months ago
2007
ACM
We propose a technique which leverages configurable data caches to address the problem of cache interference in multitasking embedded systems. Data caches are often necessary to p...
255
click to vote
VMV
2001
15 years 9 months ago
2001
Shape information is utilized by numerous applications in computer vision, scientific visualization and computer graphics. This paper presents a novel algorithm for exploring and ...