1362 search results - page 118 / 273 » Model Checking Large Network Protocol Implementations |
121
click to vote
IPSN
2007
Springer
15 years 9 months ago
2007
Springer
Secure sensor network communication protocols need to provide three basic properties: data secrecy, authentication, and replay protection. Secure sensor network link layer protoco...
121
click to vote
IOLTS
2002
IEEE
15 years 8 months ago
2002
IEEE
A silicon independent C-Based model of the TTP/C protocol was implemented within the EU-founded project FIT. The C-based model is integrated in the C-Sim simulation environment. T...
146
Voted
RR
2009
Springer
15 years 10 months ago
2009
Springer
Open Answer Set Programming (OASP) can be seen as a framework to represent tightly integrated combined knowledge bases of ontologies and rules that are not necessarily DL-safe. The...
139
Voted
FPGA
1998
ACM
15 years 7 months ago
1998
ACM
In this paper, we present an algorithm for circuit partitioning with complex resource constraints in large FPGAs. Traditional partitioning methods estimate the capacity of an FPGA...
128
Voted
CHI
2007
ACM
16 years 4 months ago
2007
ACM
For much of the industrialized world, network connectivity in the home is commonplace. Despite the large number of networked homes, even the most technically savvy people can have...