Sciweavers

31 search results - page 2 / 7
» What are our standards for validation of measurement-based n...
Sort
View
FM
2008
Springer
77views Formal Methods» more  FM 2008»
13 years 7 months ago
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service
Abstract. Despite more then 30 years of research on protocol specification, the major protocols deployed in the Internet, such as TCP, are described only in informal prose RFCs and...
Tom Ridge, Michael Norrish, Peter Sewell
IWC
2011
212views more  IWC 2011»
12 years 9 months ago
Automatic web accessibility metrics: Where we are and where we can go
 The  fact  that  several  web  accessibility  metrics  exist  may  be  evidence  of  a  lack  of  a  comparison  framework   that  highlights  how  well  th...
Markel Vigo, Giorgio Brajnik
JNW
2008
126views more  JNW 2008»
13 years 6 months ago
Securing Wireless Sensor Networks: Security Architectures
Wireless sensor networking remains one of the most exciting and challenging research domains of our time. As technology progresses, so do the capabilities of sensor networks. Limit...
David Boyle, Thomas Newe
IJCNN
2008
IEEE
14 years 20 days ago
A quantum calculus formulation of dynamic programming and ordered derivatives
— Much recent research activity has focused on the theory and application of quantum calculus. This branch of mathematics continues to find new and useful applications and there ...
John Seiffertt, Donald C. Wunsch
CONEXT
2008
ACM
13 years 8 months ago
Internet traffic classification demystified: myths, caveats, and the best practices
Recent research on Internet traffic classification algorithms has yielded a flurry of proposed approaches for distinguishing types of traffic, but no systematic comparison of the ...
Hyunchul Kim, Kimberly C. Claffy, Marina Fomenkov,...