561 search results - page 89 / 113 » VSE: Controlling the Complexity in Formal Software Developme... |
104
click to vote
ADAEUROPE
2007
Springer
15 years 8 months ago
2007
Springer
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...
115
Voted
ARCS
2008
Springer
15 years 3 months ago
2008
Springer
Due to increasing complexity of modern real-time image processing applications, classical hardware development at register transfer level becomes more and more the bottleneck of te...
106
click to vote
IUI
1993
ACM
15 years 6 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...
118
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Three dimensional biomedical image sets are becoming ubiquitous, along with the canonical atlases providing the necessary spatial context for analysis. To make full us...
118
click to vote
SELMAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...