8810 search results - page 440 / 1762 » Openness |
185
click to vote
ICECCS
2007
IEEE
16 years 1 months ago
2007
IEEE
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...
211
click to vote
TIME
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
177
click to vote
COCO
2007
Springer
16 years 29 days ago
2007
Springer
A halfspace matrix is a Boolean matrix A with rows indexed by linear threshold functions f, columns indexed by inputs x ∈ {−1,1}n, and the entries given by Af,x = f(x). We dem...
204
Voted
FC
2007
Springer
16 years 29 days ago
2007
Springer
This paper introduces Hidden Identity-based Signatures (Hidden-IBS), a type of digital signatures that provide mediated signer-anonymity on top of Shamir’s Identity-based signat...
164
click to vote
ICCBR
2007
Springer
16 years 28 days ago
2007
Springer
In this position paper, we discuss the interdependencies of context models and flexible design processes in the chip industry. We illustrate this by an ontology-based context model...