4126 search results - page 448 / 826 » Set based logic programming |
106
click to vote
AGP
1999
IEEE
15 years 8 months ago
1999
IEEE
We study the problem of an efficient and precise sharing analysis of (constraint) logic programs. After recognizing that neither aring nor its non-redundant (but equivalent) abstra...
126
click to vote
FOAL
2009
ACM
15 years 8 months ago
2009
ACM
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...
113
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper describes the development of reliable and valid scales for assessing the strategic potential of IT-enabled resources. Following to the resource-based view of the firm (...
136
click to vote
AIME
2007
Springer
15 years 10 months ago
2007
Springer
Medical critiquing systems criticise clinical actions performed by a physician. In order to provide useful feedback, an important task is to find differences between the actual a...
139
Voted
ESCIENCE
2007
IEEE
15 years 8 months ago
2007
IEEE
Data sources, storage, computing resources and services are entities on Grids that require mechanisms for publication and lookup. A discovery service relies on efficient lookup to...