4636 search results - page 355 / 928 » Modelling and Validation with VipTool |
123
click to vote
LATIN
2010
Springer
15 years 11 months ago
2010
Springer
Abstract The LLL algorithm aims at finding a “reduced” basis of a Euclidean lattice. The LLL algorithm plays a primary role in many areas of mathematics and computer science. ...
149
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
The mechanisms and design principles needed for achieving optimized handoff for mobile Internet services are poorly understood and need better analysis. This paper contributes to ...
157
click to vote
ICONS
2009
IEEE
15 years 11 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
143
click to vote
SIGCOMM
2009
ACM
15 years 11 months ago
2009
ACM
For wireless mobile Internet users the length of the battery life is one of the most important performance factors. The energy efficiency of the data transmission over radio is a ...
121
click to vote
LCN
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—Active measurements on network paths provide endto-end network health status in terms of metrics such as bandwidth, delay, jitter and loss. Hence, they are increasingly ...