3256 search results - page 488 / 652 » Applications of Formal Methods to System Design and Verifica... |
HICSS
2010
IEEE
15 years 2 months ago
2010
IEEE
As data centers and end users become increasingly reliant on virtualization technology, more efficient and accurate methods of profiling such systems are needed. However, under vir...
77
Voted
SIGSOFT
2006
ACM
15 years 11 months ago
2006
ACM
Property specifications concisely describe aspects of what a system is supposed to do. No matter what notation is used to describe them, however, it is difficult to represent thes...
73
Voted
DATE
2002
IEEE
15 years 3 months ago
2002
IEEE
The market demand for portable multimedia applications has exploded in the recent years. Unfortunately, for such applications current compilers and software optimization methods o...
MOBISYS
2008
ACM
15 years 9 months ago
2008
ACM
Mobile phones have the potential to be useful agents for their owners by detecting and reporting situations that are of interest. Several challenges emerge in the case of detectin...
101
click to vote
PDCN
2004
14 years 11 months ago
2004
IEEE 802.11, the standard of wireless local area networks (WLANs), allows the coexistence of asynchronous and time-bounded traffic using the distributed coordination function (DCF)...