Sciweavers

3155 search results - page 181 / 631
» How Are You Doing
Sort
View
ESCIENCE
2005
IEEE
14 years 2 months ago
Bio-Workflows with BizTalk: Using a Commercial Workflow Engine for eScience
Workflow is an important enabling technology for eScience. Research into workflow systems for eScience has yielded several specialized workflow engines. In this paper we investiga...
Asbjørn Rygg, Scott Mann, Paul Roe, On Wong
ATAL
2005
Springer
14 years 2 months ago
Argumentation-based dialogues for deliberation
This paper presents an argumentation-based approach to deliberation, the process by which two or more agents reach a consensus on a course of action. The kind of deliberation we a...
Yuqing Tang, Simon Parsons
FROCOS
2005
Springer
14 years 2 months ago
Proving Liveness with Fairness Using Rewriting
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
Adam Koprowski, Hans Zantema
ICSOC
2005
Springer
14 years 2 months ago
On Service Discovery Process Types
With the growing adoption of service-oriented computing, locating services becomes increasingly commonplace. Accordingly, a large number of systems for service discovery have been ...
Peer Hasselmeyer
OTM
2005
Springer
14 years 2 months ago
Evaluating Ontology Criteria for Requirements in a Geographic Travel Domain
Abstract. An ontology is a model of a domain of knowledge. The knowledge that is captured in an ontology can be used for providing interoperability, sharing of information and redu...
Jonathan Yu, James A. Thom, Audrey M. Tam