1362 search results - page 130 / 273 » Model Checking Large Network Protocol Implementations |
140
Voted
DCOSS
2005
Springer
15 years 9 months ago
2005
Springer
In wireless sensor networks, energy and communication bandwidth are precious resources. Traditionally, layering has been used as a design principle for network stacks; hence routin...
154
Voted
SIGMETRICS
2010
ACM
15 years 1 months ago
2010
ACM
Many network-management problems in large backbone networks need the answer to a seemingly simple question: where does a given IP packet, entering the network at a particular plac...
188
Voted
CORR
2012
Springer
13 years 11 months ago
2012
Springer
Universities and Institutions these days’ deals with issues related to with assessment of large number of students. Various evaluation methods have been adopted by examiners in ...
104
Voted
DCOSS
2008
Springer
15 years 5 months ago
2008
Springer
This paper introduces a framework for in-field-maintenance services for wireless sensor networks. The motivation of this work is driven by an observation that many applications usi...
127
Voted
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
We advocate a network on silicon (NOS) as a hardware architecture to implement communication between IP cores in future technologies, and as a software model in the form of a prot...