8623 search results - page 1714 / 1725 » Software engineering for secure systems |
CIKM
2007
Springer
14 years 1 months ago
2007
Springer
Modern web search engines are expected to return top-k results efficiently given a query. Although many dynamic index pruning strategies have been proposed for efficient top-k com...
CLEF
2007
Springer
14 years 1 months ago
2007
Springer
In participating in this CLEF evaluation campaign, our first objective is to propose and evaluate various indexing and search strategies for the Russian language, in order to obta...
CLEF
2007
Springer
14 years 1 months ago
2007
Springer
In our participation in this CLEF evaluation campaign, the first objective is to propose and evaluate various indexing and search strategies for the Czech language in order to hop...
EMSOFT
2007
Springer
14 years 1 months ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
ICFEM
2007
Springer
14 years 1 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 ...