12670 search results - page 346 / 2534 » Requirements Modeling |
162
click to vote
FDL
2005
IEEE
16 years 11 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
200
click to vote
ICISS
2005
Springer
16 years 8 days ago
2005
Springer
Since XML tends to become the main format to exchange data over the Internet, it is necessary to define a security model to control the access to the content of these documents. S...
219
click to vote
ATAL
2004
Springer
16 years 5 days ago
2004
Springer
One of the key problems in the study of multi agent systems in which the agents exhibit continuous behavior is the automatic recognition and analysis of intentional activities bas...
172
click to vote
MICCAI
2004
Springer
16 years 3 days ago
2004
Springer
The levator ani is vulnerable to injury during childbirth and effective surgical intervention requires full knowledge of the morphology and mechanical properties of the muscle stru...
184
click to vote
DEXA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Engineering design is a knowledge intensive activity. Design is characterized as comprising a number of phases from requirements to detailed specification. Transitions be...