1651 search results - page 209 / 331 » Negotiable Interfaces for Components |
ISOLA
2004
Springer
14 years 4 months ago
2004
Springer
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...
TES
2004
Springer
14 years 4 months ago
2004
Springer
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...
DATE
2003
IEEE
14 years 4 months ago
2003
IEEE
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...
ICDAR
2003
IEEE
14 years 4 months ago
2003
IEEE
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...
ATAL
2003
Springer
14 years 4 months ago
2003
Springer
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, ...