251 search results - page 7 / 51 » Design of a SPDIF Receiver Using Protocol Compiler |
104
click to vote
ICNP
1998
IEEE
15 years 6 months ago
1998
IEEE
In Internet multicast, the set of receivers can be dynamic with receivers joining and leaving a group asynchronously and without the knowledge of the sources. The Internet today u...
103
Voted
EUROSYS
2007
ACM
15 years 11 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...
131
Voted
CCS
2010
ACM
15 years 2 months ago
2010
ACM
Secure two-party computation allows two untrusting parties to jointly compute an arbitrary function on their respective private inputs while revealing no information beyond the ou...
118
Voted
GPCE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Domain-Specific Languages (DSLs) represent a proven approach to raising the abstraction level of programming. They offer highlevel constructs and notations dedicated to...
219
Voted
CADE
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...