1356 search results - page 199 / 272 » A variable-free dynamic semantics |
130
click to vote
SC
1992
ACM
15 years 8 months ago
1992
ACM
This paper presents Jade, a high-level parallel programming language for managing coarse-grain concurrency. Jade simplifies programming by providing the programmer with the abstra...
112
click to vote
VLDB
1992
ACM
15 years 8 months ago
1992
ACM
Most extensibledatabasesystemssupportaddition of new indexes or new data types. However, the referencepatterns exhibited by these new indexes may not be efficiently supportedby ex...
206
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
120
click to vote
HPCC
2007
Springer
15 years 8 months ago
2007
Springer
Efficient exploitation of the aggregate resources available to a researcher is a challenging and real problem. The challenge becomes all the greater when researchers who collaborat...
135
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...