Sciweavers

WETICE
2005
IEEE
14 years 6 months ago
A Multicast Transport Driver for Globus XIO
In recent years, much work has been done on attempting to scale multicast data transmission to hundreds or thousands of receivers. There are, however, many situations where an app...
Karl Jeacle, Jon Crowcroft
WETICE
2005
IEEE
14 years 6 months ago
Collaborative Web Browsing Tool supporting Audio/Video Interactive Presentations
Guillermo de Jesús Hoyos-Rivera, Roberto Wi...
WETICE
2005
IEEE
14 years 6 months ago
On P2P Collaboration Infrastructures
BSCW [8] and Groove [10] have become the two defacto standards for collaboration over the Internet. They offer a wealth of functionalities, support a variety of possible collabora...
Manfred Hauswirth, Ivana Podnar, Stefan Decker
WETICE
2005
IEEE
14 years 6 months ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop
WETICE
2005
IEEE
14 years 6 months ago
Design and evaluation of activity model-based groupware: methodological issues
This article presents methodological issues on evaluation related to the design process of the tool being evaluated. We emphasize the different variables which are important to ta...
Nadia Gauducheau, Eddie Soulier, Myriam Lewkowicz
WETICE
2005
IEEE
14 years 6 months ago
Host Behaviour Based Early Detection of Worm Outbreaks in Internet Backbones
We propose a novel near real-time method for early detection of worm outbreaks in high-speed Internet backbones. Our method attributes several behavioural properties to individual...
Thomas Dübendorfer, Bernhard Plattner
WETICE
2005
IEEE
14 years 6 months ago
A Strong User Authentication Protocol for GSM
Ozer Aydemir, Ali Aydyn Selcuk
WETICE
2005
IEEE
14 years 6 months ago
Towards a formal framework for Choreography
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...