3081 search results - page 384 / 617 » A Formal Ontology of Properties |
178
click to vote
CISC
2007
Springer
16 years 24 days ago
2007
Springer
We formalize a generic method of constructing efficient group signatures, specifically, we define new notions of unlinkable randomizable signature, indirectly signable signature ...
169
click to vote
IFSA
2007
Springer
16 years 24 days ago
2007
Springer
In the formal and fully graded setting of Fuzzy Class Theory (or higher-order fuzzy logic) we make an initial investigation into basic notions of fuzzy topology. In particular we s...
171
click to vote
ECOOP
2005
Springer
16 years 5 days ago
2005
Springer
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...
165
click to vote
FORMATS
2005
Springer
16 years 5 days ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
156
click to vote
FROCOS
2005
Springer
16 years 5 days ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...