827 search results - page 87 / 166 » Patterns for Timed Property Specifications |
116
Voted
IVS
2008
15 years 3 months ago
2008
Large financial institutions such as Bank of America handle hundreds of thousands of wire transactions per day. Although most transactions are legitimate, these institutions have ...
278
click to vote
PLDI
2009
ACM
16 years 3 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....
107
Voted
ICPR
2006
IEEE
16 years 4 months ago
2006
IEEE
We present a new application area for biometric recognition: the identification of laboratory animals to replace today's invasive methods. Through biometric identification a ...
110
click to vote
NDSS
2009
IEEE
15 years 10 months ago
2009
IEEE
We introduce a new paradigm for outsourcing the durability property of a multi-client transactional database to an untrusted service provider. Specifically, we enable untrusted s...
144
click to vote
SOCO
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In a component-based system, connectors are used to compose components. Connectors should have a semantics that makes them simple to construct and use. At the same time, ...