2880 search results - page 264 / 576 » context 2007 |
132
click to vote
LICS
2007
IEEE
16 years 29 days ago
2007
IEEE
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
153
click to vote
CAISE
2007
Springer
16 years 26 days ago
2007
Springer
Semantic matching1 is a fundamental step in implementing data sharing applications. Most systems automating this task however limit themselves to finding simple (one-to-one) match...
150
click to vote
HASE
2007
IEEE
16 years 1 months ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
165
click to vote
MOBIQUITOUS
2007
IEEE
16 years 29 days ago
2007
IEEE
—Mobile terminals with built-in GPS receivers are becoming more and more available, thus the public deployment of location-based services (LBS) becomes feasible. Upcoming LBS are...
165
click to vote
WOA
2007
15 years 7 months ago
2007
—Reasoning by interrogation is one of the most ancient and experimented ways of reasoning. Originated by the Aristotelian elenchus, it has been used for many purposes, such as th...