3645 search results - page 342 / 729 » Implementing mapping composition |
161
click to vote
SAS
2007
Springer
16 years 25 days ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
157
click to vote
WSFM
2007
Springer
16 years 25 days ago
2007
Springer
Service orientation is a means for integrating across diverse systems. Each resource, whether an application, system, or trading partner, can be accessed as a service. The resultin...
192
click to vote
RTAS
2006
IEEE
16 years 22 days ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
183
click to vote
CSFW
2005
IEEE
16 years 10 days ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
164
click to vote
IPPS
2005
IEEE
16 years 9 days ago
2005
IEEE
The computational power needed for searching exponentially growing databases, such as GenBank, has increased dramatically. Three different implementations of the most widely used ...