5330 search results - page 326 / 1066 » The Performability Tool P'ility |
216
Voted
SAC
2004
ACM
16 years 28 days ago
2004
ACM
A data warehouse (DW) provides an information for analytical processing, decision making, and data mining tools. On the one hand, the structure and content of a data warehouse ref...
190
click to vote
OOPSLA
2004
Springer
16 years 26 days ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
188
click to vote
FM
2003
Springer
16 years 22 days ago
2003
Springer
As the systems we have to specify and verify become larger and more complex, there is a mounting need to combine different tools and decision procedures to accomplish large proof ...
206
click to vote
FSTTCS
2003
Springer
16 years 22 days ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
182
Voted
ICCSA
2003
Springer
16 years 22 days ago
2003
Springer
Abstract. The digitalization of product-styling tools for the early designdevelopment stage has focused on using raster-type graphics S/Ws. These kinds of S/Ws enable designers fre...