4067 search results - page 529 / 814 » Programs for Applying Symmetries |
190
click to vote
ASIASIM
2004
Springer
16 years 1 hour ago
2004
Springer
A network security simulator becomes more useful for the study on the cyber incidents and their defense mechanisms, as cyber terrors have been increasingly popular. Until now, netw...
167
click to vote
ATAL
2004
Springer
16 years 55 min 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,...
159
click to vote
CP
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a model and implementation techniques for speeding up constraint propagation. Two fundamental approaches to improving constraint propagation are explored: keepi...
175
click to vote
EUROSPI
2004
Springer
15 years 12 months ago
2004
Springer
Post-mortem project reviews often yield useful lessons learned. These project reviews are mostly recorded in plain text. This makes it difficult to derive useful overall findings ...
177
click to vote
FOSSACS
2004
Springer
15 years 12 months ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...