783 search results - page 48 / 157 » The Bio-PEPA Tool Suite |
112
click to vote
DSOM
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Users need know nothing of the internals of distributed applications that are performing well. However, when performance flags or fails, a depiction of system behavior f...
IJNSEC
2006
14 years 12 months ago
2006
The work presents a new method for the design of ideal secret sharing. The method uses regular mappings that are well suited for construction of perfect secret sharing. The restri...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
: Effective resource utilisation monitoring and highly granular yet adaptive measurements are prerequisites for a more efficient Grid scheduler. We present a suite of measurement a...
109
click to vote
VSTTE
2010
Springer
14 years 9 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
IAT
2008
IEEE
15 years 6 months ago
2008
IEEE
We aim at providing artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulatio...