489 search results - page 48 / 98 » On the Execution of ODP Computational Specifications |
CPAIOR
2006
Springer
14 years 15 days ago
2006
Springer
Abstract. We recently proposed a simple declarative language for specifying a wide range of counting and occurrence constraints. The language uses just two global primitives: the R...
AINA
2008
IEEE
13 years 10 months ago
2008
IEEE
The evolution of any software product over its lifetime is unavoidable, caused both by bugs to be fixed and by new requirements appearing in the later stages of the product's...
BIRTHDAY
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We investigate the power of play-out, the execution mechanism associated with scenario-based programming, which was defined as the operational semantics of live sequence ...
PG
2002
IEEE
14 years 1 months ago
2002
IEEE
Solid texturing is a well-known computer graphics technology, but still has problems today, because it consumes too much time if every pixel is calculated on the fly or has a very...
HPDC
2010
IEEE
13 years 10 months ago
2010
IEEE
Large scale bioinformatics experiments are usually composed by a set of data flows generated by a chain of activities (programs or services) that may be modeled as scientific work...