Sciweavers

647 search results - page 92 / 130
» Generic Trace Logics
Sort
View
ICDT
1997
ACM
97views Database» more  ICDT 1997»
15 years 8 months ago
Queries and Computation on the Web
The paper introduces a model of the Web as an in nite, semistructured set of objects. We reconsider the classical notions of genericity and computability of queries in this new con...
Serge Abiteboul, Victor Vianu
BPM
2007
Springer
149views Business» more  BPM 2007»
15 years 8 months ago
CoBTx-Net: A Model for Reliability Verification of Collaborative Business Transaction
The collaborative business process can be unreliable when business partners collaborate in a peer-to-peer fashion without central control. Therefore, an important issue that needs ...
Haiyang Sun, Jian Yang
ECTEL
2006
Springer
15 years 7 months ago
Multimedia Authoring for CoPs
One way of providing technological support for CoPs is to help participants to produce, structure and share information. As this information becomes more and more multimedia in nat...
Romain Deltour, Agnès Guerraz, Cécil...
AGP
1998
IEEE
15 years 7 months ago
The Correctness of Set-Sharing
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...
Patricia M. Hill, Roberto Bagnara, Enea Zaffanella
WETICE
1995
IEEE
15 years 7 months ago
An Ontology of Quality for Enterprise Modelling
Although there are many quality domains in which ideas and concepts about quality are represented, these representations are often informal. The TOVE Quality Ontology is the forma...
Henry M. Kim, Mark S. Fox, Michael Grüninger