Sciweavers

7149 search results - page 76 / 1430
» How dynamic is the Web
Sort
View
ICSOC
2007
Springer
15 years 9 months ago
Contextualized B2B Registries
Service discovery is a fundamental concept underpinning the move towards dynamic service-oriented business partnerships. The business process for integrating service discovery and ...
Uwe Radetzki, Mike J. Boniface, Mike Surridge
140
Voted
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
15 years 1 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
HRI
2010
ACM
15 years 10 months ago
Showing robots how to follow people using a broomstick interface
—Robots are poised to enter our everyday environments such as our homes and offices, contexts that present unique questions such as the style of the robot’s actions. Style-orie...
James Everett Young, Kentaro Ishii, Takeo Igarashi...
ARITH
2007
IEEE
15 years 9 months ago
How to Ensure a Faithful Polynomial Evaluation with the Compensated Horner Algorithm
The compensated Horner algorithm improves the accuracy of polynomial evaluation in IEEE-754 floating point arithmetic: the computed result is as accurate as if it was computed wi...
Philippe Langlois, Nicolas Louvet
97
Voted
WWW
2004
ACM
16 years 4 months ago
Web Agent's Enclaves - A New Opportunity for the Semantic Web Services
The paper presents an idea about joint use some of new technologies such as the Semantic Web, Web services and Web agents together with an already existing concept. It is a concep...
Violeta Damjanovic, Dragan Gasevic, Vladan Devedzi...