2687 search results - page 387 / 538 » Formal Analysis of PKCS |
172
click to vote
ISCI
2010
15 years 5 months ago
2010
The t-concept lattice is introduced as a set of triples associated to graded tabular information interpreted in a non-commutative fuzzy logic. Following the general techniques of ...
209
click to vote
JELIA
2010
Springer
15 years 5 months ago
2010
Springer
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...
141
click to vote
JOT
2010
15 years 4 months ago
2010
Validation of non-functional and functional properties of these protocols during the early stages of design and development is important to reduce cost resulting from protocol ano...
164
click to vote
JSS
2010
15 years 4 months ago
2010
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-specific design vocabulary and a set of constrai...
214
click to vote
BCSHCI
2009
15 years 4 months ago
2009
This paper presents research that engages with virtual worlds for education users to understand design of these applications for their needs. An in-depth multi-method investigatio...