4008 search results - page 418 / 802 » An expressive language of signatures |
285
click to vote
POPL
2004
ACM
16 years 7 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
174
click to vote
SSDBM
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a novel sensor network query processing architecture that (a) covers all the query optimization phases that are required to map a declarative query to executable code; ...
167
click to vote
ER
2009
Springer
16 years 1 months ago
2009
Springer
Goals are often used to represent stakeholder’s objectives. The intentionality inherited by a goal drives stakeholders to pursuit the fulfillment of their goals either by themse...
152
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we argue why it is necessary to associate linguistic information with ontologies and why more expressive models, beyond RDFS, OWL and SKOS, are needed to ca...
150
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...