858 search results - page 20 / 172 » One Is Enough! |
94
Voted
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We present the first formalization of implementation straor first-class continuations. The formalization hinges on abstract machines for continuation-passing style (CPS) ...
82
Voted
FM
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
133
click to vote
JFP
2007
15 years 9 days ago
2007
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
83
Voted
CIDR
2007
15 years 1 months ago
2007
We argue that designing a system that “guarantees” the privacy of its information may not be enough. One must also consider the price for providing that protection: For exampl...
91
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
— We describe a distributed boundary detection algorithm suitable for use on multi-robot systems with dynamic network topologies. We assume that each robot has access to its loca...