Sciweavers

88 search results - page 2 / 18
» PAC-Bayesian Generic Chaining
Sort
View
EDOC
2006
IEEE
14 years 9 days ago
What Applying of the ODP Viewpoints Teaches Us about Tool-Chains
For some time, we have focused our research on the generic B2B middleware services for managing interenterprise communities of autonomous business services. In contrast to some ea...
Lea Kutvonen
QEST
2007
IEEE
14 years 16 days ago
A Generic Mean Field Convergence Result for Systems of Interacting Objects
We consider a model for interacting objects, where the evolution of each object is given by a finite state Markov chain, whose transition matrix depends on the present and the pa...
Jean-Yves Le Boudec, David McDonald, Jochen Mundin...
DSN
2003
IEEE
13 years 11 months ago
GOOFI: Generic Object-Oriented Fault Injection Tool
In this paper, we present a new fault injection tool called GOOFI (Generic Object-Oriented Fault Injection). GOOFI is designed to be adaptable to various target systems and differ...
Joakim Aidemark, Jonny Vinter, Peter Folkesson, Jo...
ICFEM
2009
Springer
14 years 25 days ago
Supporting Reuse of Event-B Developments through Generic Instantiation
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...
Renato Silva, Michael Butler
IEEEARES
2007
IEEE
14 years 17 days ago
On the use of one-way chain based authentication protocols in secure control systems
The use of one-way chains in authentication protocols is a technique of great importance which has many applications. Employing cryptographic techniques in the area of industrial ...
Bogdan Groza, Toma-Leonida Dragomir