1481 search results - page 172 / 297 » Enriching the Software Development Process by Formal Methods |
119
click to vote
IUI
1993
ACM
15 years 8 months ago
1993
ACM
We discuss current approaches to the development of natural language dialogue systems, and claim that they do not sufficiently consider the unique qualities of man-machine intera...
139
Voted
APN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...
110
click to vote
CEEMAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract In this work we describe the development process of multiagent application design and implementation with Mulan. Our approach can be characterized as model driven developm...
154
click to vote
PROMISE
2010
14 years 10 months ago
2010
Background: There are many data mining methods but few comparisons between them. For example, there are at least two ways to build quality optimizers, programs that find project o...
149
click to vote
LCPC
2000
Springer
15 years 7 months ago
2000
Springer
This paper proposes a simple and efficient implementation method for a hierarchical coarse grain task parallel processing scheme on a SMP machine. OSCAR multigrain parallelizing c...