Sciweavers

5948 search results - page 921 / 1190
» Computing Robust Counter-Strategies
Sort
View
ICNP
2005
IEEE
15 years 10 months ago
Typed Abstraction of Complex Network Compositions
straction of Complex Network Compositions∗ Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, and Ibrahim Matta Department of Computer Science Boston University The heterogeneity...
Azer Bestavros, Adam Bradley, Assaf J. Kfoury, Ibr...
ICPADS
2005
IEEE
15 years 10 months ago
A Hint-Based Probabilistic Protocol for Unicast Communications in MANETs
Point-to-point transmissions represent a fundamental primitive in any communication network. Despite many proave appeared in the literature, providing an efficient implementation ...
Roberto Beraldi, Leonardo Querzoni, Roberto Baldon...
IPPS
2005
IEEE
15 years 10 months ago
Production Scheduling by Reachability Analysis - A Case Study
— Schedule synthesis based on reachability analysis of timed automata has received attention in the last few years. The main strength of this approach is that the expressiveness ...
Gerd Behrmann, Ed Brinksma, Martijn Hendriks, Ange...
IPPS
2005
IEEE
15 years 10 months ago
WSPeer - An Interface to Web Service Hosting and Invocation
— This paper introduces WSPeer, a high level interface to hosting and invoking Web services. WSPeer aims to support the diversification of Web service deployments by providing a...
Andrew Harrison, Ian J. Taylor
VISUALIZATION
2005
IEEE
15 years 10 months ago
Reconstructing Manifold and Non-Manifold Surfaces from Point Clouds
This paper presents a novel approach for surface reconstruction from point clouds. The proposed technique is general in the sense that it naturally handles both manifold and non-m...
Jianning Wang, Manuel M. Oliveira, Arie E. Kaufman