613 search results - page 16 / 123 » Executable Visual Contracts |
VL
1995
IEEE
14 years 2 months ago
1995
IEEE
Diagrams (e.g., flowcharts, trees for hierarchical structures, or graphs for finite state machines) are often needed as part of visual language systems and advanced user interfa...
WWW
2005
ACM
14 years 11 months ago
2005
ACM
A fair contract signing protocol allows two potentially mistrusted parities to exchange their commitments (i.e., digital signatures) to an agreed contract over the Internet in a f...
LCTRTS
2010
Springer
14 years 5 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
IPPS
2006
IEEE
14 years 5 months ago
2006
IEEE
This paper presents a technique for memory optimization for a class of computations that arises in the field of correlated electronic structure methods such as coupled cluster and...
SOFTVIS
2006
ACM
14 years 4 months ago
2006
ACM
Virtual execution platforms contain many runtime subsystems that are invoked on-demand as user code executes. We have instrumented an open-source JVM to dump out information on th...