4763 search results - page 584 / 953 » On the Execution of Deep Models |
233
click to vote
CASSIS
2004
Springer
15 years 11 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
199
click to vote
CGI
2004
IEEE
15 years 11 months ago
2004
IEEE
Computer games follow a scheme of continuous simulation, coupling the rendering phase and the simulation phase. That way of operation has disadvantages that can be avoided using a...
186
click to vote
ASIAN
2006
Springer
15 years 11 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
186
click to vote
BPM
2006
Springer
15 years 11 months ago
2006
Springer
The Business Process Execution Language for Web Services (BPEL) has become a de-facto standard for executable process specifications. The broad industry acceptance of BPEL forces w...
212
click to vote
FMCAD
2006
Springer
15 years 11 months ago
2006
Springer
Synchronous Data Flow Graphs (SDFGs) have proven to be suitable for specifying and analyzing streaming applications that run on single- or multi-processor platforms. Streaming appl...