Sciweavers

8587 search results - page 57 / 1718
» Interactive dynamic abstraction
Sort
View
100
Voted
CORR
2007
Springer
77views Education» more  CORR 2007»
15 years 3 months ago
On the interaction between sharing and linearity
nalysis of logic programs, abstract domains for detecting sharing and linearity ion are widely used. Devising abstract unification algorithms for such domains has proved to be ra...
Gianluca Amato, Francesca Scozzari
93
Voted
CASSIS
2004
Springer
15 years 9 months ago
A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices
William R. Bush, Antony Ng, Douglas N. Simon, Bern...
158
Voted
PDPTA
2007
15 years 5 months ago
Python-based Distributed Programming with Trickle
Abstract Trickle is a an extension to the Python programming language that provides explicit but simple mechanisms to write distributed scripts and programs. Trickle links together...
Gregory Benson, Alexey Fedosov
163
Voted
CEC
2005
IEEE
15 years 9 months ago
Sensorimotor experience and its metrics: informational geometry and the temporal horizon
Abstract- We introduce metrics on sensorimotor experience at various temporal scales based on informationtheory. Sensorimotor variables through which the experience of an agent fl...
Chrystopher L. Nehaniv
159
Voted
COORDINATION
2006
Springer
15 years 5 months ago
Enabling Ubiquitous Coordination Using Application Sessions
Abstract. Enabling coordination among ubiquitous computing applicad resources requires programming abstractions and development tools tailored to this unique environment. This pape...
Christine Julien, Drew Stovall