558 search results - page 2 / 112 » Safe and Effective Determinant Evaluation |
CSFW
2006
IEEE
14 years 2 months ago
2006
IEEE
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
INTEGRATION
2008
13 years 11 months ago
2008
Physical synthesis is a relatively young field in Electronic Design Automation. Many published optimizations for physical synthesis end up hurting the quality of the final design,...
PVLDB
2010
13 years 9 months ago
2010
Replication is a widely used method for achieving high availability in database systems. Due to the nondeterminism inherent in traditional concurrency control schemes, however, sp...
ESANN
2008
14 years 9 days ago
2008
In this paper we define and address the problem of safe exploration in the context of reinforcement learning. Our notion of safety is concerned with states or transitions that can ...
PASTE
2005
ACM
14 years 4 months ago
2005
ACM
Safely updating software at remote sites is a cautious balance of enabling new functionality and avoiding adverse effects on existing functionality. A useful first step in this p...