Sciweavers

3561 search results - page 290 / 713
» Design: One, but in different forms
Sort
View
ICLP
1995
Springer
15 years 10 months ago
Operational Semantics of Constraint Logic Programs with Coroutining
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
Andreas Podelski, Gert Smolka
ACMIDC
2010
15 years 8 months ago
How do you play with a robotic toy animal?: a long-term study of Pleo
Pleo is one of the more advanced interactive toys currently available for the home market, taking the form of a robotic dinosaur. We present an exploratory study of how it was int...
Ylva Fernaeus, Maria Håkansson, Mattias Jaco...
DCOSS
2010
Springer
15 years 6 months ago
Self-stabilizing Synchronization in Mobile Sensor Networks with Covering
Synchronization is widely considered as an important service in distributed systems which may simplify protocol design. Phase clock is a general synchronization tool that provides ...
Joffroy Beauquier, Janna Burman
AIM
2004
15 years 6 months ago
Qualitative Spatial Reasoning Extracting and Reasoning with Spatial Aggregates
Reasoning about spatial data is a key task in many applications, including geographic information systems, meteorological and fluid flow analysis, computer-aided design, and prote...
Christopher Bailey-Kellogg, Feng Zhao
JSW
2007
119views more  JSW 2007»
15 years 6 months ago
Formalizing Mobility in Service Oriented Computing
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
Claudio Guidi, Roberto Lucchi