7921 search results - page 293 / 1585 » Process Modeling in Web Applications |
143
click to vote
CIKM
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we propose a versatile disambiguation approach which can be used to make explicit the meaning of structure based information such as XML schemas, XML document struc...
117
click to vote
EDBT
2004
ACM
16 years 4 months ago
2004
ACM
T-Araneus is a tool for the generation of Web sites with special attention to temporal aspects. It builds on previous experiences in the management of data-intensive Web-sites, an...
158
click to vote
ICECCS
2009
IEEE
15 years 11 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
129
click to vote
PODC
2010
ACM
15 years 8 months ago
2010
ACM
We define two new classes of shared-memory objects: ratifiers, which detect agreement, and conciliators, which ensure agreement with some probability. We show that consensus can...
129
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
In this paper we describe an approach for the verification of Web service compositions defined by sets of BPEL processes. The key aspect of such a verification is the model adopte...