Sciweavers

15783 search results - page 626 / 3157
» Evidence-Based Software Engineering
Sort
View
124
Voted
EMSOFT
2005
Springer
16 years 24 days ago
Exploiting last idle periods of links for network power management
Feihui Li, Guilin Chen, Mahmut T. Kandemir, Mustaf...
131
Voted
EMSOFT
2005
Springer
16 years 24 days ago
The formal verification of a reintegration protocol
Lee Pike, Steven D. Johnson
FOSSACS
2005
Springer
16 years 24 days ago
Model Checking Durational Probabilistic Systems
François Laroussinie, Jeremy Sproston