Sciweavers

2930 search results - page 268 / 586
» A Constructive Approach to the Design of Distributed Systems
Sort
View
WCRE
1996
IEEE
15 years 10 months ago
Identifying Enumeration Types Modeled with Symbolic Constants
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
John M. Gravley, Arun Lakhotia
ICFP
2002
ACM
16 years 6 months ago
Tagless staged interpreters for typed languages
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...
Emir Pasalic, Walid Taha, Tim Sheard
ICWS
2003
IEEE
15 years 8 months ago
A Web Service Approach to Universal Accessibility in Collaboration Services
The enormous growth in wireless communications and miniaturized handheld devices in the last few years, have given rise to a vast range of new services, for heterogeneous user env...
Sangmi Lee, Sung Hoon Ko, Geoffrey Fox, Kang-Seok ...
SIGMOD
2009
ACM
175views Database» more  SIGMOD 2009»
16 years 7 months ago
Ranking distributed probabilistic data
Ranking queries are essential tools to process large amounts of probabilistic data that encode exponentially many possible deterministic instances. In many applications where unce...
Feifei Li, Ke Yi, Jeffrey Jestes
172
Voted
ICRA
2002
IEEE
103views Robotics» more  ICRA 2002»
15 years 11 months ago
Monopropellant Powered Actuators for use in Autonomous Human-Scaled Robotics
This paper presents a liquid-fuel powered pneumatic actuator appropriate for human-scale autonomous robotics. The motivation for this work is the development of a lightweight actu...
Michael A. Gogola, Eric J. Barth, Michael Goldfarb