1153 search results - page 102 / 231 » Compositional Specification Calculus for Information Systems... |
257
click to vote
CASCON
2010
15 years 20 days ago
2010
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
116
Voted
WWW
2009
ACM
16 years 4 months ago
2009
ACM
In this paper, we study how the performance and usability of web dialogue systems could be enhanced by using an appropriate representation of the different types of knowledge invo...
162
click to vote
VL
2007
IEEE
15 years 10 months ago
2007
IEEE
Workspace awareness has emerged as a new coordination paradigm in software configuration management systems, enabling the early detection of potential conflicts by providing devel...
152
click to vote
EWSPT
2001
Springer
15 years 8 months ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...
164
click to vote
VISUAL
1999
Springer
15 years 8 months ago
1999
Springer
The FRAMES project is developing a system for video database search, content-based retrieval, and virtual video program synthesis. For dynamic synthesis applications, a video progr...