Sciweavers

COLCOM
2009
IEEE
13 years 11 months ago
VaaS: Videoconference as a service
- Internet is a place nowadays where interoperating services are offered which can be integrated or mashed up in order to fulfill user demands. This paper proposes a way to offer v...
Pedro Rodriguez, Daniel Gallego, Javier Cervino, F...
CLOUDCOM
2009
Springer
13 years 11 months ago
Biomedical Case Studies in Data Intensive Computing
Many areas of science are seeing a data deluge coming from new instruments, myriads of sensors and exponential growth in electronic records. We take two examples
Geoffrey Fox, Xiaohong Qiu, Scott Beason, Jong Y. ...
CLOUDCOM
2009
Springer
13 years 11 months ago
Decentralized Service Allocation in a Broker Overlay Based Grid
Abstract. Grid computing is based on coordinated resource sharing in a dynamic environment of multi-institutional virtual organizations. Data exchanges, and service allocation, are...
Abdulrahman Azab, Hein Meling
DEBS
2010
ACM
13 years 11 months ago
An event view model and DSL for engineering an event-based SOA monitoring infrastructure
An event-based solution that uses events to convey information to a monitoring tool is well suited to implementing a non-intrusive monitoring infrastructure. This enables an SOA s...
Emmanuel Mulo, Uwe Zdun, Schahram Dustdar
REX
1989
13 years 11 months ago
Composing Specifications
Martín Abadi, Leslie Lamport
PODC
1987
ACM
13 years 11 months ago
Hierarchical Correctness Proofs for Distributed Algorithms
Abstract: We introduce the input-output automaton, a simple but powerful model of computation in asynchronous distributed networks. With this model we are able to construct modular...
Nancy A. Lynch, Mark R. Tuttle
PARLE
1987
13 years 11 months ago
Emulating Digital Logic using Transputer Networks (very High Parallelism = Simplicity = Performance)
Modern VLSI technology has changed the economic rules by which the balance between processing power, memory and communications is decided in computing systems. This will have a pr...
Peter H. Welch