5775 search results - page 953 / 1155 » A Rationale-based Analysis Tool |
183
click to vote
EGH
2004
Springer
16 years 2 days ago
2004
Springer
In this paper we describe a multipurpose tool for analysis of the performance characteristics of computer graphics hardware and software. We are developing Qsilver, a highly con...
146
click to vote
ER
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Deploying process-driven information systems is a time-consuming and error-prone task. Process mining attempts to improve this by automatically generating a process model...
165
click to vote
ESORICS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. To facilitate the compliance with d...
163
click to vote
FPL
2004
Springer
16 years 1 days ago
2004
Springer
The proteins in living organisms perform almost every significant function that governs life. A protein's functionality depends upon its physical structure, which depends on i...
162
click to vote
GG
2004
Springer
16 years 1 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...