6167 search results - page 131 / 1234 » Can Refinement be Automated |
140
click to vote
CCS
2005
ACM
15 years 10 months ago
2005
ACM
In automated trust negotiation (ATN), two parties exchange digitally signed credentials that contain attribute information to establish trust and make access control decisions. Be...
151
click to vote
EDOC
2003
IEEE
15 years 9 months ago
2003
IEEE
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that prov...
120
click to vote
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
We concentrate on automated synthesis of multitolerant programs, i.e., programs that tolerate multiple classes of faults and provide a (possibly) different level of fault-toleranc...
145
click to vote
FC
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
180
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Microarrays are routinely used to assess mRNA transcript levels on a genome-wide scale. Large amount of microarray datasets are now available in several databases, and...