5864 search results - page 1100 / 1173 » Can We Work around Numerical Methods |
134
click to vote
ER
2007
Springer
15 years 11 months ago
2007
Springer
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange acr...
169
click to vote
GLVLSI
2006
IEEE
15 years 11 months ago
2006
IEEE
Process technology and environment-induced variability of gates and wires in VLSI circuits make timing analyses of such circuits a challenging task. Process variation can have a s...
134
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
A considerable effort has been recently devoted to the development of Database Management Systems (DBMS) which guarantee high assurance security and privacy. An important componen...
123
Voted
ICDCSW
2005
IEEE
15 years 10 months ago
2005
IEEE
The problem of spam is a classic “tragedy of the commons” [10]. We propose the Zmail protocol as a way to preserve email as a “free” common resource for most users, while ...
179
click to vote
FM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...