1302 search results - page 106 / 261 » Soundness in the Public-Key Model |
154
click to vote
ENTCS
2007
15 years 6 months ago
2007
Multi-algebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a s...
166
click to vote
FOIS
2010
15 years 8 months ago
2010
In a series of publications, we have employed ontological theories and principles used to evaluate and improve the quality of conceptual modeling grammars and models. In this artic...
186
click to vote
SPLC
2010
15 years 4 months ago
2010
Abstract. Feature modeling is a technique for capturing commonality and variability. Feature models symbolize a representation of the possible application configuration space, and ...
147
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Current IT literature emphasizes the importance of adopting a governance strategy based on an organization’s customer market, and inherent technology and personnel capabilities....
167
click to vote
APSEC
1998
IEEE
15 years 10 months ago
1998
IEEE
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...