Sciweavers

3686 search results - page 569 / 738
» Indexing relations on the web
Sort
View
ICSOC
2005
Springer
15 years 12 months ago
Choreography and Orchestration: A Synergic Approach for System Design
Abstract. Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...
AIMSA
2004
Springer
15 years 12 months ago
Coordinating Semantic Peers
Abstract. The problem of finding an agreement on the meaning of heterogeneous schemas is one of the key issues in the development of the Semantic Web. In this paper, we propose a ...
Paolo Bouquet, Luciano Serafini, Stefano Zanobini
ICOIN
2004
Springer
15 years 12 months ago
A Study of Internet Packet Reordering
Packet reordering is a well-known phenomenon that the order of packets is inverted in the Internet. Previous research indicates reordering can affect the performance of both the ne...
Yi Wang, Guohan Lu, Xing Li
ICWE
2004
Springer
15 years 12 months ago
Modeling User Input and Hypermedia Dynamics in Hera
Abstract. Methodologies for the engineering of Web applications typically provide models that drive the generation of the hypermedia navigation structure in the application. Most o...
Geert-Jan Houben, Flavius Frasincar, Peter Barna, ...
LOPSTR
2004
Springer
15 years 12 months ago
Proving Termination for Logic Programs by the Query-Mapping Pairs Approach
This paper describes a method for proving termination of to logic programs based on abstract interpretation. The method ry-mapping pairs to abstract the relation between calls in t...
Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Ser...