4516 search results - page 600 / 904 » Automated System Design for Availability |
160
Voted
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. Advances in optical technology, such as low loss Optical Passive Star couplers OPS and the possibility of building tunable optical transmitters and receivers have increas...
191
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
155
click to vote
INTERACT
2003
15 years 8 months ago
2003
: Larger display surfaces are becoming increasingly available due to multi-monitor capability built into many systems, in addition to the rapid decrease in their costs. However, li...
192
click to vote
JUCS
2007
15 years 6 months ago
2007
: The modelling of educational processes and their operational support is a key aspect in the construction of more effective e-learning applications. Instructional models are usual...
202
click to vote
MOBISYS
2011
ACM
14 years 9 months ago
2011
ACM
This paper is motivated by two observations: (1) cellular network operators are actively exploring advertisement delivery as a new means of revenue generation, and (2) cellular ba...