13591 search results - page 2526 / 2719 » On the Implementation of Dynamic Evaluation |
210
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
In mobile ad hoc networks, mobile devices wander autonomously for the use of wireless links and dynamically varying network topology. AODV (Ad-hoc on-demand Distance vector routing...
231
click to vote
EUPROJECTS
2006
Springer
15 years 10 months ago
2006
Springer
Pervasive Computing has postulated to invisibly integrate technology into everyday objects in such a way, that these objects turn into smart things. Not only a single object of thi...
194
click to vote
FASE
2006
Springer
15 years 10 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...
187
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
249
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....