1541 search results - page 187 / 309 » Tools and Techniques for Model Checking Networked Programs |
156
click to vote
ASIACRYPT
2010
Springer
15 years 2 months ago
2010
Springer
This paper investigates the Random Oracle Model (ROM) feature known as programmability, which allows security reductions in the ROM to dynamically choose the range points of an ide...
120
click to vote
IDEAL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The work presented in this paper shows the capability of a connectionist model, based on a statistical technique called Exploratory Projection Pursuit (EPP), to identify ...
134
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
148
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
174
click to vote
TNN
2010
14 years 11 months ago
2010
Abstract--Recurrent neural networks have become a prominent tool for optimizations including linear or nonlinear variational inequalities and programming, due to its regular mathem...