7106 search results - page 985 / 1422 » Restricted Complexity, General Complexity |
155
click to vote
FOCS
2005
IEEE
16 years 17 days ago
2005
IEEE
Barak et al. formalized the notion of obfuscation, and showed that there exist (contrived) classes of functions that cannot be obfuscated. In contrast, Canetti and Wee showed how ...
152
click to vote
HICSS
2005
IEEE
16 years 16 days ago
2005
IEEE
Today, many knowledge-based technology applications form a business ecosystem: a set of complex products and services made by multiple firms in which no firm is dominant. For this...
154
click to vote
ICAC
2005
IEEE
16 years 16 days ago
2005
IEEE
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
182
click to vote
ICAS
2005
IEEE
16 years 16 days ago
2005
IEEE
Research in overlay and P2P networking has been tightly focused on fundamentals in the last few years, leading to developments on a range of important issues. The time has come to...
174
click to vote
ICCAD
2005
IEEE
16 years 16 days ago
2005
IEEE
— Balanced truncation (BT) model order reduction (MOR) is known for its superior accuracy and computable error bounds. Balanced stochastic truncation (BST) is a particular BT pro...