882 search results - page 49 / 177 » Allowing State Changes in Specifications |
288
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
159
click to vote
EPIA
2005
Springer
15 years 11 months ago
2005
Springer
We present a general-purpose framework for updating a robot’s observation model within the context of planning and execution. Traditional plan execution relies on monitoring plan...
138
click to vote
EWSA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
171
click to vote
IJON
2000
15 years 6 months ago
2000
Gain modulation is an important mechanism by which attentional and other inputs modify the amplitude of neuronal responses without changing their selectivity. Gain modulation has ...
183
click to vote
SPIN
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...