Sciweavers

1651 search results - page 209 / 331
» Negotiable Interfaces for Components
Sort
View
ISOLA
2004
Springer
14 years 4 months ago
Designing Safe, Reliable Systems using Scade
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
Parosh Aziz Abdulla, Johan Deneaux, Gunnar St&arin...
TES
2004
Springer
14 years 4 months ago
From Web Service Composition to Megaprogramming
Abstract. With the emergence of Web service technologies, it has become possible to use high level megaprogramming models and visual tools to easily build distributed systems using...
Cesare Pautasso, Gustavo Alonso
DATE
2003
IEEE
117views Hardware» more  DATE 2003»
14 years 4 months ago
Exploring SW Performance Using SoC Transaction-Level Modeling
This paper presents VISTA, a new methodology and tool dedicated to analyse system level performance by executing full-scale SW application code on a transaction-level model of the...
Imed Moussa, Thierry Grellier, Giang Nguyen
ICDAR
2003
IEEE
14 years 4 months ago
An Architecture for Ink Annotations on Web Documents
There have been recent improvements in document technologies like the standardization of object interfaces to access and manipulate the properties of web documents. There has also...
Sriram Ramachandran, Ramanujan S. Kashi
ATAL
2003
Springer
14 years 4 months ago
A Modular Paradigm for Building Self-Organizing Peer-to-Peer Applications
Peer-to-peer (P2P) technology has undergone rapid growth, producing new protocols and applications, many of which enjoy considerable commercial success and academic interest. Yet, ...
Márk Jelasity, Alberto Montresor, Özal...