1256 search results - page 162 / 252 » Tools for Exploring Natural Language |
185
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
184
click to vote
MABS
2005
Springer
15 years 12 months ago
2005
Springer
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...
161
click to vote
CCS
2007
ACM
16 years 17 days ago
2007
ACM
In this paper, we define and explore proofs of retrievability (PORs). A POR scheme enables an archive or back-up service (prover) to produce a concise proof that a user (verifier...
157
click to vote
MODELS
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
160
click to vote
ECBS
2005
IEEE
16 years 6 min ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...