4350 search results - page 392 / 870 » Case studies for contract-based systems |
170
click to vote
ISCIS
2009
Springer
16 years 1 months ago
2009
Springer
—With the development of improved and cost-effective technologies, it is now possible to detect thousands of metabolites in biofluids or specific organs, and reliably quantify th...
170
click to vote
IFIP
2005
Springer
16 years 11 days ago
2005
Springer
In this paper we propose a formalization of probable innocence, a notion of probabilistic anonymity that is associated to “realistic” protocols such as Crowds. We analyze crit...
144
click to vote
ESA
2004
Springer
16 years 7 days ago
2004
Springer
Many network applications that need to distribute content and data to a large number of clients use a hybrid scheme in which one (or more) multicast channel is used in parallel to...
203
click to vote
ENTCS
2007
15 years 6 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
180
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper studies the performance of transmission schemes that have rate that increases with average SNR while maintaining a fixed outage probability. This is in contrast to ...