Sciweavers

1490 search results - page 101 / 298
» Interactive semantics
Sort
View
AUTONOMICS
2008
ACM
14 years 2 days ago
Verification and semantic parallelization of goal-driven autonomous software
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
Damian Dechev, Nicolas Rouquette, Peter Pirkelbaue...
ICWS
2004
IEEE
13 years 11 months ago
Provisioning Resilient, Adaptive Web Services-based Workflow: A Semantic Modeling Approach
Web Services are emerging technologies that enable application-to-application communication and reuse of autonomous services over the Web. Recent efforts, OWL-S, model the semanti...
Chintan Patel, Kaustubh Supekar, Yugyung Lee
JOLLI
2002
120views more  JOLLI 2002»
13 years 9 months ago
The Donkey and the Monoid. Dynamic Semantics with Control Elements
Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk en Stokhof. One rationale behind the indroduction of DPL is that it is closer to Natural La...
Albert Visser
WWW
2004
ACM
14 years 10 months ago
TCOZ approach to semantic web services design
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
Jin Song Dong, Yuan-Fang Li, Hai H. Wang
GI
2003
Springer
14 years 3 months ago
Semantic Methods and Tools for Information Portals
Abstract. The paper describes a set of approaches for representing and accessing information within a semantically structured information portal, while offering the possibility to ...
Sudhir Agarwal, Peter Fankhauser, Jorge Gonzalez-O...