5904 search results - page 352 / 1181 » Requirements for a Composition Language |
191
click to vote
BXML
2003
15 years 8 months ago
2003
: A large variety of emerging Computational Grid applications require versioning services to support effective management of constantly changing datasets and implementations of dat...
195
click to vote
PDSE
1998
15 years 8 months ago
1998
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
205
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...
190
click to vote
MM
2005
ACM
16 years 11 days ago
2005
ACM
Music is a very important part of our lives. People enjoy listening to the music, and many of us find a special pleasure in creating the music. Computers further extended many asp...
187
click to vote
MASCOTS
2008
15 years 8 months ago
2008
Galois field implementations are central to the design of many reliable and secure systems, with many systems implementing them in software. The two most common Galois field opera...