8413 search results - page 1569 / 1683 » Ordering Problem Subgoals |
177
click to vote
ICB
2007
Springer
16 years 13 days 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...
138
click to vote
ICFEM
2007
Springer
16 years 13 days 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 ...
170
click to vote
ICWE
2007
Springer
16 years 13 days 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...
148
click to vote
IWMM
2007
Springer
16 years 13 days 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 ...
160
click to vote
SEMWEB
2007
Springer
16 years 12 days 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...