15635 search results - page 2870 / 3127 » Modelling and Design of VAML |
166
click to vote
SPW
2000
Springer
15 years 10 months ago
2000
Springer
The underlying belief and knowledge models assumed by various kinds of authentication protocols have been studied for well over 10 years now. On the other hand, the related questio...
170
click to vote
ICTAI
1997
IEEE
15 years 10 months ago
1997
IEEE
The computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automati...
142
click to vote
KDD
1995
ACM
15 years 10 months ago
1995
ACM
The quest to nd models usefully characterizing data is a process central to the scienti c method, and has been carried out on many fronts. Researchers from an expanding number of ...
153
click to vote
PODC
1995
ACM
15 years 10 months ago
1995
ACM
The Horus system supports a communication architecture ats protocols as instances of an abstract data type. This approach encourages developers to partition complex protocols into...
150
click to vote
CMSB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Elevated temperatures cause proteins in living cells to misfold. They start forming larger and larger aggregates that can eventually lead to the cell's death. The he...