4209 search results - page 69 / 842 » Abstract Dialectical Frameworks |
119
click to vote
EUROPKI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Besides the pure technical features, the usability of a PKIenabled application plays a crucial role since the best security application will fail in practice if its usabi...
135
click to vote
SG
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This work introduces a new interaction framework for dynamic virtual environments. The proposed system is designed to deal with all possible interactions in a virtual wor...
127
click to vote
MPC
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present a description technique for the correct construction of programs that allows us to de ne terms like re nement, modelchecking, and synthesis as special operatio...
126
click to vote
FATES
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
137
Voted
JURIX
2007
15 years 5 months ago
2007
Abstract. In this paper, we present a new ontology-based formalism for representing patent information. The framework defines concepts and relations for the major aspects of paten...