Sciweavers

2111 search results - page 382 / 423
» Coordinative Applications, Structured Coordination, and Meta...
Sort
View
PERCOM
2007
ACM
14 years 8 months ago
A Scalable Geographic Service Provision Framework for Mobile Ad Hoc Networks
Supporting scalable and efficient routing and service provision in Mobile Ad Hoc Networks (MANET) has been a big research challenge. Conventional topology-based unicast and multic...
Xiaojing Xiang, Xin Wang
POPL
2010
ACM
14 years 3 months ago
Lightweight asynchrony using parasitic threads
Message-passing is an attractive thread coordination mechanism because it cleanly delineates points in an execution when threads communicate, and unifies synchronization and comm...
K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra...
ICRA
2009
IEEE
128views Robotics» more  ICRA 2009»
14 years 3 months ago
Stable dynamic walking of a quadruped via phase modulations against small disturbances
— It is generally accepted that locomotion in animals is based on a trade-off between energy consumption and stability. However, this trade-off is the result of the interaction b...
Christophe Maufroy, Hiroshi Kimura, Kunikatsu Taka...
CPAIOR
2009
Springer
14 years 3 months ago
Modelling Search Strategies in Rules2CP
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
François Fages, Julien Martin
IWANN
2009
Springer
14 years 3 months ago
Identifying Gene Ontology Areas for Automated Enrichment
Biomedical ontologies provide a commonly accepted scheme for the characterization of biological concepts that enable knowledge sharing and integration. Updating and maintaining an ...
Catia Pesquita, Tiago Grego, Francisco M. Couto