4820 search results - page 434 / 964 » Implementing Signatures for C |
108
click to vote
ISSTA
2006
ACM
15 years 11 months ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
167
Voted
MUM
2006
ACM
15 years 11 months ago
2006
ACM
This paper presents a novel cross-layer design for providing service oriented architecture (SOA) in a mobile ad hoc network (MANET). In the design SOA service discovery is integra...
137
Voted
SAC
2006
ACM
15 years 11 months ago
2006
ACM
Esterel is a concurrent synchronous language for developing reactive systems. As an alternative to the classical software and hardware synthesis paths, the reactive processing app...
128
click to vote
SIGCOMM
2006
ACM
15 years 11 months ago
2006
ACM
This paper revisits a much explored topic in networking – the search for a simple yet fully-general multicast design. The many years of research into multicast routing have led ...
118
click to vote
WS
2006
ACM
15 years 11 months ago
2006
ACM
We introduce Integrity (I) regions, a novel security primitive that enables message authentication in wireless networks without the use of pre-established or pre-certified keys. ...