Sciweavers

3161 search results - page 258 / 633
» Documenting framework behavior
Sort
View
GI
2008
Springer
15 years 7 months ago
Explicit Language and Infrastructure Support for Context-aware Services
: Dealing with context information is an important concern for mobile service computing. However, modern frameworks and programming languages do not directly support context-depend...
Malte Appeltauer, Robert Hirschfeld
OSDI
2008
ACM
16 years 7 months ago
From Optimization to Regret Minimization and Back Again
Internet routing is mostly based on static information-it's dynamicity is limited to reacting to changes in topology. Adaptive performance-based routing decisions would not o...
Ioannis C. Avramopoulos, Jennifer Rexford, Robert ...
PERCOM
2006
ACM
16 years 6 months ago
Ordering Management Actions in Pervasive Systems using Specification-enhanced Policies
A pervasive system features a plethora of devices, services and applications organized as a large distributed system. One approach to managing such systems is by policies where ad...
Chetan Shiva Shankar, Roy H. Campbell
ICRA
2009
IEEE
111views Robotics» more  ICRA 2009»
16 years 1 months ago
Interactive learning of the acoustic properties of household objects
— Human beings can perceive object properties such as size, weight, and material type based solely on the sounds that the objects make when an action is performed on them. In ord...
Jivko Sinapov, Mark Wiemer, Alexander Stoytchev
LICS
2009
IEEE
16 years 1 months ago
Trace Semantics is Fully Abstract
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
Sumit Nain, Moshe Y. Vardi