Sciweavers

683 search results - page 123 / 137
» Hierarchical spacetime control
Sort
View
ENTCS
2007
101views more  ENTCS 2007»
13 years 8 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
SP
2008
IEEE
113views Security Privacy» more  SP 2008»
13 years 8 months ago
Inter-operating grids through Delegated MatchMaking
The grid vision of a single computing utility has yet to materialize: while many grids with thousands of processors each exist, most work in isolation. An important obstacle for t...
Alexandru Iosup, Todd Tannenbaum, Matthew Farrelle...
CGF
2002
103views more  CGF 2002»
13 years 8 months ago
Hardware Accelerated Interactive Vector Field Visualization: A level of detail approach
This paper presents an interactive global visualization technique for dense vector fields using levels of detail. We introduce a novel scheme which combines an error-controlled hi...
Udeepta Bordoloi, Han-Wei Shen
TON
1998
71views more  TON 1998»
13 years 8 months ago
Real-time block transfer under a link-sharing hierarchy
— Most application data units are too large to be carried in a single packet (or cell) and must be segmented for network delivery. To an application, the end-to-end delays and lo...
Geoffrey G. Xie, Simon S. Lam
IEEECIT
2010
IEEE
13 years 7 months ago
Selective and Early Threat Detection in Large Networked Systems
—The complexity of modern networked information systems, as well as all the defense-in-depth best practices, require distributed intrusion detection architectures relying on the ...
Michele Colajanni, Mirco Marchetti, Michele Messor...