3384 search results - page 360 / 677 » More Testable Properties |
177
click to vote
IMC
2005
ACM
16 years 9 days ago
2005
ACM
Abstract— The well-known PASTA (“Poisson Arrivals See Time Averages”) property states that, under very general conditions, the fraction of Poisson arrivals that observe an un...
199
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
177
click to vote
ESOP
2005
Springer
16 years 8 days ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...
181
click to vote
ESORICS
2005
Springer
16 years 8 days ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
195
click to vote
IFL
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...