4013 search results - page 558 / 803 » computer 2002 |
110
Voted
DSN
2002
IEEE
15 years 8 months ago
2002
IEEE
Software developers identify two main reasons why software systems are not made robust: performance and practicality. This work demonstrates the effectiveness of general technique...
122
click to vote
EDOC
2002
IEEE
15 years 8 months ago
2002
IEEE
The main objective of the CORAS project is to provide methods and tools for precise, unambiguous, and efficient risk assessment of security critical systems. To this end, we advoc...
117
Voted
EDOC
2002
IEEE
15 years 8 months ago
2002
IEEE
As in traditional commerce, parties to a contract in ebusiness environments are expected to operate in good faith and comply with mutually agreed terms of contract. It may be the ...
133
click to vote
FOCS
2002
IEEE
15 years 8 months ago
2002
IEEE
We obtain a near-tight bound of O(n3+ε ), for any ε > 0, on the complexity of the overlay of the minimization diagrams of two collections of surfaces in four dimensions. This...
138
Voted
FOCS
2002
IEEE
15 years 8 months ago
2002
IEEE
We prove that coloring a 3-uniform 2-colorable hypergraph with c colors is NP-hard for any constant c. The best known algorithm [20] colors such a graph using O(n1/5 ) colors. Our...