28445 search results - page 644 / 5689 » Anatomically based modeling |
160
click to vote
COMPSEC
2010
15 years 5 months ago
2010
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...
139
click to vote
DAGSTUHL
2006
15 years 6 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
122
click to vote
WSC
2000
15 years 6 months ago
2000
Designing complex simulation models is a task essentially associated with software engineering. In this paper, the Unified Modeling Language (UML) is used to specify simulation mo...
138
click to vote
AAAI
2000
15 years 6 months ago
2000
The task of generating minimal models of a knowledge base is a significant computational problem in artificial intelligence. This task is at the computational heart of diagnosis s...
125
click to vote
ENTCS
2007
15 years 4 months ago
2007
In this paper, we discuss a structural approach to automatic performance modelling of skeleton based applications. This uses a synthesis of performance evaluation process algebra ...