Sciweavers

431 search results - page 11 / 87
» A Case Study of Distributed, Asynchronous Software Inspectio...
Sort
View
APN
2008
Springer
13 years 9 months ago
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...
DATE
2004
IEEE
139views Hardware» more  DATE 2004»
13 years 11 months ago
From Synchronous to Asynchronous: An Automatic Approach
This paper presents a methodology to derive asynchronous circuits from optimized synchronous circuits by replacing the clock distribution tree by a handshaking network. A case stu...
Jordi Cortadella, Alex Kondratyev, Luciano Lavagno...
COREGRID
2007
Springer
14 years 1 months ago
Dependable Grid Services: A Case Study with OGSA-DAI
Grid middleware usually makes use of several software modules that due to their complexity and development approach may have some latent bugs and leaks. These bugs can cause visibl...
Javier Alonso, Jordi Torres, Luís Moura Sil...
CSMR
2002
IEEE
14 years 21 days ago
Integrating Document and Workflow Management Tools using XML and Web Technologies: A Case Study
A critical point for developing successful information systems for distributed organisations is the need for integrating heterogeneous technologies and tools. This paper reports a...
Lerina Aversano, Gerardo Canfora, Andrea De Lucia,...
PODC
1999
ACM
14 years 1 days ago
On k-Set Consensus Problems in Asynchronous Systems
ÐIn this paper, we investigate the k-set consensus problem in asynchronous distributed systems. In this problem, each participating process begins the protocol with an input value...
Roberto De Prisco, Dahlia Malkhi, Michael K. Reite...