5726 search results - page 853 / 1146 » Supporting annotations on relations |
185
click to vote
EUROPKI
2005
Springer
16 years 4 days ago
2005
Springer
Credentials like passwords or cryptographic key pairs are a means to prove one’s identity to a web server. A practical problem in this context is the question of how a user can t...
165
click to vote
FSTTCS
2005
Springer
16 years 4 days ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
176
click to vote
GI
2005
Springer
16 years 4 days ago
2005
Springer
: A software application is related to the processes it supports. Today, UML diagrams esp. use case diagrams and activity diagrams are often used to model the relevant aspects of t...
148
click to vote
ICALP
2005
Springer
16 years 4 days ago
2005
Springer
A class of relational structures is said to have the extension preservation property if every first-order sentence that is preserved under extensions on the class is equivalent t...
177
click to vote
ICCBR
2005
Springer
16 years 4 days ago
2005
Springer
This paper describes how CBR can be used to compare, reuse, and adapt inductive models that represent complex systems. Complex systems are not well understood and therefore require...