601 search results - page 89 / 121 » Verifiable Network-Performance Measurements |
EMSOFT
2008
Springer
14 years 12 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
78
Voted
ESORICS
2008
Springer
14 years 12 months ago
2008
Springer
The ubiquitous proliferation of mobile devices has given rise to novel user-centric application and services. In current mobile systems, users gain access to remote service provide...
FITRAMEN
2008
14 years 11 months ago
2008
The current data network scenario makes Traffic Engineering (TE) a very challenging task. The ever growing access rates and new applications running on end-hosts result in more var...
85
Voted
NSDI
2010
14 years 11 months ago
2010
PPLive is a popular P2P video system used daily by millions of people worldwide. Achieving this level of scalability depends on users making contributions to the system, but curre...
107
click to vote
NIPS
2008
14 years 11 months ago
2008
The synchronous brain activity measured via MEG (or EEG) can be interpreted as arising from a collection (possibly large) of current dipoles or sources located throughout the cort...