Sciweavers

4018 search results - page 289 / 804
» Process algebra for performance evaluation
Sort
View
ICFEM
2010
Springer
15 years 4 months ago
A Semantic Model for Service Composition with Coordination Time Delays
The correct behavior of a service composition depends on the appropriate coordination of its services. According to the idea of channelbased coordination, services exchange message...
Natallia Kokash, Behnaz Changizi, Farhad Arbab
POPL
2012
ACM
14 years 1 months ago
A compiler and run-time system for network programming languages
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
Christopher Monsanto, Nate Foster, Rob Harrison, D...
143
Voted
ERCIMDL
2003
Springer
127views Education» more  ERCIMDL 2003»
15 years 11 months ago
YAPI: Yet Another Path Index for XML Searching
As many metadata are encoded in XML, and many digital libraries need to manage XML documents, efficient techniques for searching in such formatted data are required. In order to e...
Giuseppe Amato, Franca Debole, Pavel Zezula, Faust...
ICRA
2008
IEEE
170views Robotics» more  ICRA 2008»
16 years 19 days ago
Modeling and recognition of actions through motor primitives
— We investigate modeling and recognition of object manipulation actions for the purpose of imitation based learning in robotics. To model the process, we are using a combination...
David Martínez Mercado, Danica Kragic
ICRA
2008
IEEE
152views Robotics» more  ICRA 2008»
16 years 19 days ago
Stabilization algorithm for a high speed car-like robot achieving steering maneuver
— This paper deals with design and implementation of a stabilization algorithm for a car like robot performing high speed turns. The control of such a kind of system is rather di...
Eric Lucet, Christophe Grand, Damien Sallé,...