4212 search results - page 402 / 843 » Rights Expression Languages |
154
Voted
ASPLOS
2006
ACM
16 years 23 days ago
2006
ACM
Unbeknownst to many computer users, their machines are running malware. Others are aware that strange software inhabits their machine, but cannot get rid of it. In this paper, we ...
149
click to vote
FSTTCS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
157
click to vote
CICLING
2003
Springer
16 years 23 hour ago
2003
Springer
We present an automatic method to disambiguate the senses of the near-synonyms in the entries of a dictionary of synonyms. We combine different indicators that take advantage of th...
163
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
With special focus on software architectural issues, we report from the first two major phases of a software development project. Our experience suggests that explicit focus on so...
175
click to vote
PADL
1999
Springer
15 years 11 months ago
1999
Springer
The copying approach to tabling (CAT) is an alternative to SLG-WAM and based on incrementally copying the areas that the SLG-WAM freezes to preserve execution states of suspended ...