Sciweavers

4513 search results - page 379 / 903
» Modeling with a Sense of Purpose
Sort
View
ENTCS
2010
85views more  ENTCS 2010»
15 years 6 months ago
Global Coordination Policies for Services
An important issue of the service oriented approach is the possibility to aggregate, through programmable coordination patterns, the activities involved by service interactions. T...
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guan...
ENTCS
2008
120views more  ENTCS 2008»
15 years 6 months ago
Separation Logic Semantics for Communicating Processes
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
Tony Hoare, Peter W. O'Hearn
CN
2007
109views more  CN 2007»
15 years 6 months ago
Describing and simulating internet routes
This contribution deals with actual routes followed by packets on the internet at IP level. We first propose a set of statistical properties to analyse such routes, which brings ...
Jeremie Leguay, Matthieu Latapy, Timur Friedman, K...
155
Voted
ENGL
2007
94views more  ENGL 2007»
15 years 6 months ago
Development of a Functional Neuromuscular Stimulation System for Independent Ambulation of Patients with a Spinal Cord Injury
— This paper proposes the use of a controlled assistive device, aimed as a support for the impaired individuals to allow a limited ambulatory function. The aim of the overall pro...
Alejandro Garcia Blanco, Gildardo Jimenez, Pedro O...
KES
2006
Springer
15 years 6 months ago
DAWN - A System for Context-Based Link Recommendation in Web Navigation
Abstract. We have developed the system "DAWN" (direction anticipation in web navigation) that learns navigational patterns to help users navigating through the world wide...
Sebastian Stober, Andreas Nürnberger