258 search results - page 11 / 52 » A High-Level Language for Modeling Algorithms and Their Prop... |
NN
2006
Springer
13 years 7 months ago
2006
Springer
Neurophysiology reveals the properties of individual mirror neurons in the macaque while brain imaging reveals the presence of `mirror systems' (not individual neurons) in th...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. The agent programming language GOLOG and the underlying Situation Calculus have become popular means for the modelling and control of autonomous agents such as mobile rob...
VLSI
2005
Springer
14 years 25 days ago
2005
Springer
Quasi delay insensitive circuits are functionally independent of delays in gates and wires (except for some particular wires). Such asynchronous circuits offer high robustness but...
FM
1999
Springer
13 years 11 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...