2693 search results - page 331 / 539 » French Order Without Order |
152
click to vote
CINQ
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Solving inductive queries which have to return complete collections of patterns satisfying a given predicate has been studied extensively the last few years. The specific...
130
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
A major challenge in efficiently solving distributed resource allocation problems is to cope with the dynamic state changes that characterise such systems. An effective solution t...
167
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
144
click to vote
DASFAA
2004
IEEE
15 years 8 months ago
2004
IEEE
For event filtering of publish/subscribe system, significant research efforts have been dedicated to techniques based on multiple one-dimensional indexes built on attributes of sub...
142
click to vote
CISC
2006
Springer
15 years 8 months ago
2006
Springer
Buffer overflow(BOF) has been the most common form of vulnerability in software systems today, and many methods exist to defend software systems against BOF attacks. Among them, th...