3175 search results - page 457 / 635 » Network properties of folksonomies |
176
click to vote
ADAEUROPE
2008
Springer
16 years 25 days ago
2008
Springer
We consider networked, embedded real-time systems that operate under run-time uncertainties on activity execution times and arrivals, node failures, and message losses. We consider...
165
click to vote
DATE
2007
IEEE
16 years 24 days ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
175
click to vote
GLOBECOM
2007
IEEE
16 years 24 days ago
2007
IEEE
Long-range dependence (LRD) is a largely verified property of Internet traffic, which severely affects network queuing. An approach for guaranteeing performance requirements is...
171
click to vote
GLOBECOM
2007
IEEE
16 years 24 days ago
2007
IEEE
—Previous studies of receive diversity have carefully modeled the impact of spatial correlation and antenna coupling on the signal component at the receiver. By contrast, relativ...
185
click to vote
IPPS
2007
IEEE
16 years 23 days ago
2007
IEEE
We propose a two-layered approach for exploiting different forms of concurrency in complex systems: We specify computational components in our functional array language SaC, whic...