119 search results - page 15 / 24 » Confidentiality-Preserving Refinement is Compositional - Som... |
135
click to vote
ICDCS
1996
IEEE
15 years 10 months ago
1996
IEEE
We present a group routing protocol for a network of processes. The task of the protocol is to route data messages to each member of a process group. To this end, a tree of proces...
157
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
163
click to vote
IANDC
2008
15 years 6 months ago
2008
A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulat...
137
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
Business processes involve interactions among autonomous partners. We propose that these interactions be specified modularly as protocols. Protocols can be published, enabling imp...
144
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
We present an efficient algorithm for identification of two-line bridges in combinational CMOS logic that narrows down the two-line bridge candidates based on tester responses for...