1981 search results - page 339 / 397 » The State of Change: A Survey |
148
click to vote
EMISA
2009
Springer
16 years 22 days ago
2009
Springer
: This keynote reports on a new class of processes - so called fluid processes - whose ”engineering” and ”use” is indistinguishable. Fluid processes are continually being ...
160
click to vote
SOUPS
2009
ACM
16 years 20 days ago
2009
ACM
The Windows Vista personal firewall provides its diverse users with a basic interface that hides many operational details. However, concealing the impact of network context on th...
184
click to vote
GLOBECOM
2007
IEEE
16 years 15 days ago
2007
IEEE
Abstract— We consider the lossy transmission of source information over Rayleigh fading channels. We investigate the utility of two channel capacity definitions, ergodic capacit...
155
click to vote
INFOCOM
2007
IEEE
16 years 14 days ago
2007
IEEE
— Multicast is an efficient means of transmitting the same content to multiple receivers while minimizing network resource usage. Applications that can benefit from multicast s...
160
click to vote
CAV
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...