5234 search results - page 696 / 1047 » Method Components - Rationale Revealed |
189
click to vote
ERLANG
2004
ACM
16 years 4 days ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
167
click to vote
ATAL
2004
Springer
16 years 3 days ago
2004
Springer
The paper describes the architecture of Brown University’s agent, Botticelli, a finalist in the 2003 Trading Agent Competition in Supply Chain Management (TAC SCM). In TAC SCM,...
156
click to vote
DAGM
2004
Springer
16 years 3 days ago
2004
Springer
Most image segmentation algorithms optimize some mathematical similarity criterion derived from several low-level image features. One possible way of combining different types of f...
191
click to vote
DALT
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
162
click to vote
ESOP
2004
Springer
16 years 2 days ago
2004
Springer
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...