1328 search results - page 74 / 266 » Info Cases: Integrating Use Cases and Domain Models |
IAT
2006
IEEE
14 years 2 months ago
2006
IEEE
Organizations involving multiple agents require adaptation mechanisms to guarantee robustness, especially in critical domains. This paper presents an organizational template to ai...
IJSEKE
2011
13 years 5 days ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
TSE
2008
13 years 8 months ago
2008
Test adequacy criteria provide the engineer with guidance on how to populate test suites. While adequacy criteria have long been a focus of research, existing testing methods do no...
ISMB
1993
13 years 10 months ago
1993
Experiment design and execution is a central activity in the natural sciences. The SeqERsystem provides a general architecture for the integration of automated planning techniques...
EPK
2006
13 years 10 months ago
2006
: The heterogeneity of different formats for EPCs is a major problem for model interchange between specialized tools in practice. In this paper, we compare three different formats ...