1833 search results - page 293 / 367 » Mechanized Verification with Sharing |
131
Voted
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primitive values making them naturally adapted to the description of datadominated s...
144
click to vote
ER
2006
Springer
15 years 8 months ago
2006
Springer
: Data Provenance refers to the lineage of data including its origin, key events that occur over the course of its lifecycle, and other details associated with data creation, proce...
149
click to vote
ESCIENCE
2006
IEEE
15 years 8 months ago
2006
IEEE
Application execution time prediction is of key importance in making decisions about efficient usage of Grid resources. Grid services lack support of a generic application executi...
145
click to vote
ADBIS
2000
Springer
15 years 8 months ago
2000
Springer
Research in spatio-temporal databases has largely focused on extensions of access methods for the proper handling of time changing spatial information. In this paper, we present th...
174
Voted
FROCOS
2000
Springer
15 years 8 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...