Sciweavers

6224 search results - page 256 / 1245
» Recent Advances in Networking
Sort
View
141
Voted
FMICS
2010
Springer
15 years 1 months ago
Correctness of Sensor Network Applications by Software Bounded Model Checking
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
Frank Werner, David Faragó
TCS
2008
15 years 26 days ago
Efficient corona training protocols for sensor networks
Phenomenal advances in nano-technology and packaging have made it possible to develop miniaturized low-power devices that integrate sensing, special-purpose computing, and wireles...
Alan A. Bertossi, Stephan Olariu, Maria Cristina P...
109
Voted
IVS
2007
77views more  IVS 2007»
15 years 26 days ago
Designing semantic substrates for visual network exploration
A semantic substrate is a spatial template for a network, where nodes are grouped into regions and laid out within each region according to one or more node attributes. This paper...
Aleks Aris, Ben Shneiderman
TR
2008
107views more  TR 2008»
15 years 26 days ago
A New Shared Segment Protection Method for Survivable Networks with Guaranteed Recovery Time
Shared Segment Protection (SSP), compared with Shared Path Protection (SPP), and Shared Link Protection (SLP), provides an optimal protection configuration due to the ability of ma...
János Tapolcai, Pin-Han Ho, Dominique Verch...
CN
2004
84views more  CN 2004»
15 years 25 days ago
A parameter based admission control for differentiated services networks
The Differentiated Services architecture targets at providing scalable network Quality of Service by means of aggregate scheduling. However, the defined framework itself only give...
Markus Fidler, Volker Sander