98 search results - page 17 / 20 » An Effect System for Algebraic Effects and Handlers |
FM
2006
Springer
15 years 2 months ago
2006
Springer
Symmetry reduction techniques can help to combat the state space explosion problem for model checking, but are restricted by the hard problem of determining equivalence of states d...
95
Voted
AIIDE
2008
15 years 1 months ago
2008
Culture and emotions have a profound impact on human behavior. Consequently, high-fidelity simulated interactive environments (e.g., trainers and computer games) that involve virt...
102
click to vote
TACS
1994
Springer
15 years 3 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
GECCO
2009
Springer
15 years 5 months ago
2009
Springer
Solving complex, real-world problems with genetic programming (GP) can require extensive computing resources. However, the highly parallel nature of GP facilitates using a large n...
115
Voted
ECOWS
2007
Springer
15 years 5 months ago
2007
Springer
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...