647 search results - page 92 / 130 » Generic Trace Logics |
114
click to vote
ICDT
1997
ACM
15 years 8 months ago
1997
ACM
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...
138
click to vote
BPM
2007
Springer
15 years 8 months ago
2007
Springer
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 ...
106
click to vote
ECTEL
2006
Springer
15 years 7 months ago
2006
Springer
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...
125
click to vote
AGP
1998
IEEE
15 years 7 months ago
1998
IEEE
It is important that practical data flow analysers are backed bly proven theoretical results. Abstract interpretation provides a sound mathematical framework and necessary generic ...
156
click to vote
WETICE
1995
IEEE
15 years 7 months ago
1995
IEEE
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...