Sciweavers

7426 search results - page 323 / 1486
» The LHC Computing Challenge
Sort
View
IPPS
2005
IEEE
16 years 11 days ago
Towards Quantitative Analysis of Real-Time UML Using Stochastic Petri Nets
In recent years the Unified Modeling Language (UML) including its profiles gained increasing acceptance as a specification language for modeling real-time systems. It is crucia...
Jan Trowitzsch, Armin Zimmermann, Günter Homm...
BIRTHDAY
2005
Springer
16 years 9 days ago
Fibring Logics: Past, Present and Future
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
Carlos Caleiro, Amílcar Sernadas, Cristina ...
JIT
2005
Springer
116views Database» more  JIT 2005»
16 years 8 days ago
Integration of heterogenous services in the Adaptive Services Grid
In times of increasing grid oriented computing environments, the integration and orchestration of business services become more and more emergent. This challenge is taken in the co...
Harald Böhme, Alexander Saar
KIVS
2005
Springer
16 years 8 days ago
P2P Replication Revisited: Mobile Infrastructures
Abstract: Traffic engineering in P2P networks deals with organizing overlay networks. The challenge of unavailability has not been mastered yet. Considering the resource allocatio...
Jens O. Oberender, Hermann de Meer
KIVS
2005
Springer
16 years 8 days ago
Reconfigurable consumer direct logistics systems
Abstract: The goals of the interdisciplinary project HORN were as well to improve competitiveness of service providers that deliver grocery items as to develop new hardware and sof...
Sébastien Truchat, Alexander Pflaum