662 search results - page 66 / 133 » Formalizing Basic First Order Model Theory |
UML
2004
Springer
14 years 1 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
ACSD
2003
IEEE
14 years 1 months ago
2003
IEEE
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
ACSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
The basic idea behind delegation is that some active entity in a system delegates authority to another active entity in order to carry out some functions on behalf of the former. ...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Dynamic Pushdown Networks (DPNs) are a model for parallel programs with (recursive) procedures and process creation. The goal of this paper is to develop generic techniqu...
CADUI
2006
13 years 9 months ago
2006
: Participatory design and model-based approaches are two major HCI design approaches. Traditionally opposed, the first ones promote user's creativity while the second ones su...