10870 search results - page 1761 / 2174 » Model Checking Programs |
185
Voted
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The media industry is challenged to find new lines of business as technology redefines content, distribution and customer expectations. This is a case study of Oxygen Media where ...
178
Voted
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
– Shared-backup path protection (SBPP) has been widely studied in the GMPLS networks due to its efficient spare capacity sharing and flexibility in service provisioning. This pap...
206
Voted
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— The aggregate capacity of wireless mesh networks can be increased by the use of multiple frequency channels and multiple network interface cards in each router. Recent results ...
187
Voted
ICPADS
2007
IEEE
16 years 1 months ago
2007
IEEE
Min, Veeravalli, and Barlas have recently proposed strategies to minimize the overall execution time of one or several divisible loads on a heterogeneous linear network, using one...
188
click to vote
SP
2007
IEEE
16 years 1 months ago
2007
IEEE
Existing mandatory access control systems for operating systems are difficult to use. We identify several principles for designing usable access control systems and introduce the...