1054 search results - page 131 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
126
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
134
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
196
click to vote
ICSNW
2004
Springer
15 years 9 months ago
2004
Springer
Knowledge Sifter is a scaleable agent-based system that supports access to heterogeneous information sources such as the Web, open-source repositories, XML-databases and the emergi...
125
click to vote
PERCOM
2006
ACM
16 years 4 months ago
2006
ACM
Application autonomy can reduce interactions with users, ease the use of the system, and decrease user distraction. On the other hand, users may feel loss of control over their ap...
162
click to vote
WECWIS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper addresses a methodology for developing the various user interfaces (UI) of a workflow information system (WIS), which are advocated to automate business processes, foll...