Sciweavers

57 search results - page 5 / 12
» Towards Formalizing Resource Based Non-conformance in Busine...
Sort
View
OTM
2007
Springer
14 years 1 months ago
Towards Community-Based Evolution of Knowledge-Intensive Systems
Abstract. This article wants to address the need for a research effort and framework that studies and embraces the novel, difficult but crucial issues of adaptation of knowledge r...
Pieter De Leenheer, Robert Meersman
CSAC
2006
13 years 9 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid
NMR
2004
Springer
14 years 28 days ago
Towards higher impact argumentation
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...
Anthony Hunter
WWW
2007
ACM
14 years 8 months ago
Towards the theoretical foundation of choreography
With the growth of interest on the web services, people pay increasingly attention to the choreography, that is, to describe collaborations of participants in accomplishing a comm...
Zongyan Qiu, Xiangpeng Zhao, Chao Cai, Hongli Yang
HICSS
2009
IEEE
104views Biometrics» more  HICSS 2009»
14 years 2 months ago
Towards a Procedural Model for Sustainable Information Systems Management
The increasing economical, ecological and social significance of information systems (IS) demands reorientation for IS management. Ever-growing energy consumption, waste streams, ...
Nils-Holger Schmidt, Koray Erek, Lutz Kolbe, R&uum...