8132 search results - page 1414 / 1627 » Dependability, Abstraction, and Programming |
149
click to vote
WOSP
2004
ACM
15 years 12 months ago
2004
ACM
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...
167
click to vote
AUSAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
180
click to vote
CIA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
167
click to vote
CINQ
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Data mining algorithms such as the Apriori method for finding frequent sets in sparse binary data can be used for efficient computation of a large number of summaries fr...
171
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...