1988 search results - page 254 / 398 » Engineering formal metatheory |
150
click to vote
HYBRID
2007
Springer
16 years 20 days ago
2007
Springer
This paper presents a motion description language (MDLp) for specifying and encoding autonomous puppetry plays in a manner that is faithful to the way puppetry choreography is curr...
162
click to vote
SAMOS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Contemporary SoC designs ask for system-level debugging tools suitable to heterogeneous platforms. Such tools will have to rely on some low-level model-driven debugging e...
150
click to vote
COMSWARE
2006
IEEE
16 years 17 days ago
2006
IEEE
—Recent protocols are become increasingly complex, and lead to further level of complexity when used in combination, often resulting in ambiguous behavior. This paper, starting f...
189
click to vote
ICAS
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
189
click to vote
ACL2
2006
ACM
16 years 15 days ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...