1906 search results - page 256 / 382 » Dependable Self-Hosting Distributed Systems Using Constraint... |
136
click to vote
FORTE
2004
15 years 5 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
172
click to vote
ICSOC
2010
Springer
15 years 3 months ago
2010
Springer
In this demo paper we present the prototype of our fault injection testbed generator. Our tool empowers engineers to generate emulated SOA environments and to program fault injecti...
125
click to vote
IADIS
2003
15 years 5 months ago
2003
It is sometimes a challenge to untangle the large amount of information on the Web. We thus need to adapt this information to a given user in a particular context. This adaptation...
153
click to vote
SACMAT
2003
ACM
15 years 9 months ago
2003
ACM
In large organizations the administration of access privileges (such as the assignment of an access right to a user in a particular role) is handled cooperatively through distribu...
144
click to vote
TNN
2008
15 years 4 months ago
2008
Abstract--This paper considers the approximation of sufficiently smooth multivariable functions with a multilayer perceptron (MLP). For a given approximation order explicit formula...