1027 search results - page 41 / 206 » A Model for Java with Wildcards |
131
click to vote
ADVIS
2004
Springer
15 years 10 months ago
2004
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
125
click to vote
WSC
2000
15 years 5 months ago
2000
One of the approaches to modeling hybrid systems is to assign algebraic-differential equations describing the continuous behavior to states of state machines that represent discre...
164
click to vote
WSC
1997
15 years 5 months ago
1997
Distributed discrete event simulation techniques aim at an acceleration of the execution of a self-contained simulation model by the spatial decomposition of that model and the co...
118
click to vote
ISCC
2007
IEEE
2007
IEEE
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation
15 years 10 months ago
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...