680 search results - page 94 / 136 » Complexity of Strict Implication |
INFOCOM
2003
IEEE
14 years 1 months ago
2003
IEEE
— Rate adaptive multimedia streams offer significant system and client benefits over non-adaptive streams. These benefits come at the price of increased complexity in providin...
ISCAS
2003
IEEE
14 years 29 days ago
2003
IEEE
Abstract— The design of robust and area efficient power distribution networks for high speed, high complexity integrated circuits has become a challenging task. The integrity of...
CHI
2003
ACM
14 years 29 days ago
2003
ACM
With the advent of new technology in vehicles, drivers can access information in many different forms (email, address books, Web pages) and from many information sources (cell pho...
FATES
2003
Springer
14 years 28 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
COMPSAC
2002
IEEE
14 years 20 days ago
2002
IEEE
One promising approach to more effective software development is the concept of product platform originated from mechanical engineering, aiming at architectural product families i...