8413 search results - page 1569 / 1683 » Ordering Problem Subgoals |
133
Voted
ICB
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Our goal is to extract consistent bits from the same fingerprint in a noisy environment. Such bits can then be used as a secret key in several cryptographic applications...
112
Voted
ICFEM
2007
Springer
15 years 9 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
143
Voted
ICWE
2007
Springer
15 years 9 months ago
2007
Springer
WE practices lack an impact on industry, partly due to a WE field that is not quality-aware. In fact, it is difficult to find WE methodologies that pay explicit attention to qualit...
113
Voted
IWMM
2007
Springer
15 years 9 months ago
2007
Springer
This article presents a heap space analysis for (sequential) Java bytecode. The analysis generates heap space cost relations which define at compile-time the heap consumption of ...
127
click to vote
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
Only few well-maintained domain ontologies can be found on the Web. The likely reasons for the lack of useful domain ontologies include that (1) informal means to convey intended m...