4258 search results - page 670 / 852 » Languages and Interactive Software Development |
121
click to vote
EUC
2005
Springer
15 years 8 months ago
2005
Springer
Algorithms that process geometric objects become more and more important for many safety-critical embedded systems, e.g. for motion planning or collision detection, where correctne...
129
click to vote
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
113
click to vote
NORDICHI
2004
ACM
15 years 8 months ago
2004
ACM
This paper describes the results of an empirical study consisting of five sessions where scenarios are written by two writers working in unison, for instance a usability specialis...
151
click to vote
WISE
2003
Springer
15 years 8 months ago
2003
Springer
Service-Oriented Computing (SOC) is the computing paradigm that utilizes services as fundamental elements for developing applications/solutions. To build the service model, SOC re...
131
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...