9110 search results - page 1 / 1822 » Formally-Based Design Evaluation |
CHARME
2001
Springer
13 years 9 months ago
2001
Springer
ESSOS
2010
Springer
14 years 2 months ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
In this paper we develop a novel probabilistic model of computational trust that explicitly deals with correlated multi-dimensional contracts. Our starting point is to consider an...
ECOOP
2012
Springer
11 years 7 months ago
2012
Springer
R is a dynamic language for statistical computing that combines lazy functional features and object-oriented programming. This rather unlikely linguistic cocktail would probably ne...
INFOCOM
2012
IEEE
11 years 7 months ago
2012
IEEE
—Content-centric networking (CCN) brings a paradigm shift in the present Internet communication model by addressing named-data instead of host locations. With respect to TCP/IP, ...