2407 search results - page 425 / 482 » A Tool for Abstraction in Model Checking |
176
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Human-based genetic algorithms are powerful tools for organizational modeling. If we enhance them using chance discovery techniques, we obtain an innovative approach for ...
164
Voted
ASAP
2003
IEEE
15 years 11 months ago
2003
IEEE
At the Leiden Embedded Research Center, we are developing a compiler called Compaan that automatically translates signal processing applications written in Matlab into Kahn Proces...
295
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Communication is becoming one of the central elements in software development. As a potential typed foundation for structured communication-centred programming, session types have...
173
click to vote
CIE
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. The input to a constraint satisfaction problem (CSP) consists of a set of variables, each with a domain, and constraints between these variables formulated by relations o...
222
Voted
FUIN
2007
15 years 5 months ago
2007
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...