4325 search results - page 743 / 865 » Incremental computation with names |
LICS
2006
IEEE
15 years 5 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
VMCAI
2005
Springer
15 years 4 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
ITICSE
2004
ACM
15 years 4 months ago
2004
ACM
Keeping students alert and responsive during lectures is a challenge even for experienced teachers in small group settings. Research has shown the importance of student participat...
PRICAI
2004
Springer
15 years 4 months ago
2004
Springer
Autonomous synthetic actors performing in live stage performances must be capable of generating speech that is not only lexically correct, but emotionally correct; affect can be co...
AINA
2010
IEEE
15 years 4 months ago
2010
IEEE
: This paper is on failure detectors to solve the consensus problem in asynchronous systems made up of anonymous processes prone to crash and connected by asynchronous reliable cha...