Sciweavers

5357 search results - page 1059 / 1072
» River Information Services
Sort
View
CORR
2010
Springer
116views Education» more  CORR 2010»
13 years 7 months ago
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
Musab AlTurki, José Meseguer
CN
2008
117views more  CN 2008»
13 years 7 months ago
Packet-switched network selection with the highest QoS in 4G networks
The evolution of telecommunications during the last decades has been enormous and as a result, nowadays, people find themselves before the challenge of 4G networks. Due to the fac...
Dimitris E. Charilas, Ourania I. Markaki, Dimitris...
CORR
2010
Springer
196views Education» more  CORR 2010»
13 years 7 months ago
SWiM -- A Semantic Wiki for Mathematical Knowledge Management
Abstract. SWiM is a semantic wiki for collaboratively building, editing and browsing mathematical knowledge represented in the domainspecific structural semantic markup language OM...
Christoph Lange 0002
CORR
2010
Springer
172views Education» more  CORR 2010»
13 years 7 months ago
Seeing Through Black Boxes : Tracking Transactions through Queues under Monitoring Resource Constraints
The problem of optimal allocation of monitoring resources for tracking transactions progressing through a distributed system, modeled as a queueing network, is considered. Two for...
Animashree Anandkumar, Ting He, Chatschik Bisdikia...
DKE
2008
172views more  DKE 2008»
13 years 7 months ago
An XML Schema integration and query mechanism system
The availability of large amounts of heterogeneous distributed web data necessitates the integration of XML data from multiple XML sources for many reasons. For example, currently,...
Sanjay Kumar Madria, Kalpdrum Passi, Sourav S. Bho...
« Prev « First page 1059 / 1072 Last » Next »