Sciweavers

4763 search results - page 661 / 953
» On the Execution of Deep Models
Sort
View
GG
2008
Springer
15 years 8 months ago
Parallel and Sequential Independence for Borrowed Contexts
Parallel and sequential independence are central concepts in the concurrency theory of the double pushout (dpo) approach to graph rewriting. However, so far those same notions were...
Filippo Bonchi, Fabio Gadducci, Tobias Heindel
COMPSAC
2007
IEEE
15 years 7 months ago
An Online Monitoring Approach for Web services
High quality is one of the critical elements contributing to Web service’s success. Monitoring events that are sensitive to quality of Web services is thus an important issue fo...
Qianxiang Wang, Yonggang Liu, Min Li, Hong Mei
CONCURRENCY
2010
127views more  CONCURRENCY 2010»
15 years 7 months ago
Formation of virtual organizations in grids: a game-theoretic approach
Applications require the composition of resources to execute in a grid computing environment. The Grid Service Providers (GSPs), the owners of the computational resources, must for...
Thomas E. Carroll, Daniel Grosu
CORR
2010
Springer
77views Education» more  CORR 2010»
15 years 7 months ago
Sound Bisimulations for Higher-Order Distributed Process Calculus
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
Adrien Piérard, Eijiro Sumii
CORR
2008
Springer
132views Education» more  CORR 2008»
15 years 7 months ago
Materialized View Selection by Query Clustering in XML Data Warehouses
XML data warehouses form an interesting basis for decision-support applications that exploit complex data. However, native XML database management systems currently bear limited p...
Hadj Mahboubi, Kamel Aouiche, Jérôme ...