Sciweavers

2234 search results - page 386 / 447
» Protocol Implementation Using Integrated Layer Processing
Sort
View
IS
1998
15 years 1 months ago
Specifying Global Behaviour in Database Federations
Abstract - We discuss the impact of locally implemented behaviour on global behaviour specification in a federation of object-oriented databases. In particular, given a specificati...
Mark W. W. Vermeer, Peter M. G. Apers
CG
1999
Springer
15 years 1 months ago
An interactive visualization and navigation tool for medical volume data
In order to make direct volume rendering practicable convenient visualization options and data analysis tools have to be integrated. For example, direct rendering of semi-transpar...
Ove Sommer, Alexander Dietz, Rüdiger Westerma...
FASE
2008
Springer
15 years 3 months ago
A Formal Framework for Developing Adaptable Service-Based Applications
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
Leen Lambers, Leonardo Mariani, Hartmut Ehrig, Mau...
ICFEM
2009
Springer
15 years 8 months ago
Approximate Model Checking of PCTL Involving Unbounded Path Properties
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
Samik Basu, Arka P. Ghosh, Ru He
SIGCOMM
2010
ACM
15 years 1 months ago
R3: resilient routing reconfiguration
Network resiliency is crucial to IP network operations. Existing techniques to recover from one or a series of failures do not offer performance predictability and may cause serio...
Ye Wang, Hao Wang, Ajay Mahimkar, Richard Alimi, Y...