4424 search results - page 723 / 885 » Semantic virtual environments |
154
click to vote
JUCS
2000
15 years 6 months ago
2000
: Evaluations of methods and tools applied to a reference problem are useful when comparing various techniques. In this paper, we present a solution to the challenge of capturing t...
172
click to vote
SIGMOD
2002
ACM
15 years 6 months ago
2002
ACM
Service based architectures are a powerful approach to meet the fast evolution of business rules and the corresponding software. An active functionality service that detects event...
184
click to vote
CONCURRENCY
2008
15 years 6 months ago
2008
context. In contrast to previous approaches that take a very abstract view of IQ properties, we allow scientists to define the quality characteristics that are of importance to the...
169
click to vote
ENTCS
2008
15 years 6 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
197
click to vote
PVLDB
2010
15 years 4 months ago
2010
This is a demonstration of data coordination in a peer data management system through the employment of distributed triggers. The latter express in a declarative manner individual...