533 search results - page 18 / 107 » Protocol synthesis from timed and structured specifications |
84
Voted
BMCBI
2005
14 years 9 months ago
2005
Background: The SH3 domain family is one of the most representative and widely studied cases of so-called Peptide Recognition Modules (PRM). The polyproline II motif PxxP that gen...
80
Voted
STOC
2005
ACM
15 years 9 months ago
2005
ACM
In the setting of secure multiparty computation, a set of parties wish to to jointly compute some function of their input (i.e., they wish to securely carry out some distributed t...
ENTCS
2008
14 years 9 months ago
2008
As code generation for synchronous programs requires strong safety properties to be satisfied, compositionality becomes a difficult goal to achieve. Most synchronous languages, su...
ICECCS
2000
IEEE
15 years 1 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
173
click to vote
POPL
2006
ACM
15 years 9 months ago
2006
ACM
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...