1323 search results - page 81 / 265 » Extended Modeling Languages for Interaction Protocol Design |
92
Voted
HPCN
1999
Springer
15 years 7 months ago
1999
Springer
We motivate and define the XSIL language as a flexible, hierarchical, extensible transport language for scientific data objects. The entire object may be represented in the file, o...
121
click to vote
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
Early embedded SW development with transaction-level models has been broadly promoted to improve SoC design productivity. But the proposed APIs only provide low-level read/write o...
129
Voted
SAC
2010
ACM
15 years 3 months ago
2010
ACM
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
125
Voted
IJNSEC
2007
15 years 3 months ago
2007
In this paper a novel electronic payment protocol suitable for “peer-to-peer” (P2P) networks is presented. It implements electronic cash-based transactions, between buyers and...
159
Voted
ESOP
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow...