533 search results - page 26 / 107 » Protocol synthesis from timed and structured specifications |
ENTCS
2002
14 years 9 months ago
2002
Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added...
103
click to vote
CIBSE
2009
ACM
15 years 4 months ago
2009
ACM
Nowadays building a web application is still a complex process that requires a big effort to get several tasks done. This article presents a domain specific language aimed to simpl...
EURODAC
1995
IEEE
15 years 1 months ago
1995
IEEE
This paper describes a method to optimize the performance of data paths. It is based on bit-level arithmetic transformations, and is especially suited to optimize large adder stru...
79
Voted
ARGMAS
2008
Springer
14 years 11 months ago
2008
Springer
Many practitioners view agent interaction protocols as rigid specifications that are defined a priori, and hard-code their agents with a set of protocols known at design time -- a...
DPD
2002
14 years 9 months ago
2002
The current standard in governing distributed transaction termination is the so-called Two-Phase Commit protocol (2PC). The first phase of 2PC is a voting phase, where the partici...