3381 search results - page 675 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
VLDB
2005
ACM
14 years 26 days ago
2005
ACM
In this demo, we show that intelligent load shedding is essential in achieving optimum results in mining data streams under various resource constraints. The Loadstar system intro...
CIKM
2004
Springer
14 years 23 days ago
2004
Springer
Automatically categorizing documents into pre-defined topic hierarchies or taxonomies is a crucial step in knowledge and content management. Standard machine learning techniques ...
SIGMETRICS
2003
ACM
14 years 19 days ago
2003
ACM
Distributed hash table (DHT) systems are an important class of peer-to-peer routing infrastructures. They enable scalable wide-area storage and retrieval of information, and will ...
CHARME
2003
Springer
14 years 18 days ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
PASTE
2010
ACM
14 years 14 days ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...