657 search results - page 112 / 132 » Defining the Problems of Framework Reuse |
150
click to vote
VISUALIZATION
2000
IEEE
15 years 6 months ago
2000
IEEE
Accurately and automatically conveying the structure of a volume model is a problem not fully solved by existing volume rendering approaches. Physics-based volume rendering approa...
ACOM
2004
Springer
15 years 5 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
130
click to vote
CSFW
2004
IEEE
15 years 5 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
130
click to vote
ETRICS
2006
15 years 5 months ago
2006
To cope with the complex requirements imposed on the processing of privacy-sensitive data within enterprises, the use of automatic or semi-automatic tools is gradually becoming in...
137
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...