4099 search results - page 118 / 820 » A Framework for Interactive Proof |
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
DISCEX
2003
IEEE
15 years 3 months ago
2003
IEEE
Under sponsorship of the Defense Advanced Research Projects Agency’s (DARPA) Fault Tolerant Networks (FTN) program, The Johns Hopkins University Applied Physics Laboratory (JHU/...
NCA
2005
IEEE
15 years 3 months ago
2005
IEEE
Protocol composition frameworks provide off-the-shelf composable protocols to simplify the development of custom protocol stacks. All recent protocol frameworks use a general-purp...
140
click to vote
SCAI
2008
14 years 11 months ago
2008
Abstract. Robots that share their workspace with humans, like household or service robots, need to take into account the presence of humans when planning their actions. In this pap...
AIED
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a framework for the automatic annotation of learning objects (LOs) with empirical usage metadata. Our implementation of the Intelligent Learning Object Guide (...