366 search results - page 3 / 74 » Combining Agent-Oriented Conceptual Modelling with Formal Me... |
CAISE
2006
Springer
13 years 8 months ago
2006
Springer
The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for ver...
FORTEST
2008
13 years 8 months ago
2008
DATE
2006
IEEE
14 years 14 days ago
2006
IEEE
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
ISOLA
2007
Springer
14 years 17 days ago
2007
Springer
Abstract. This paper argues in favor of a database conceptual schema and Semantic Web ontology design discipline that explores analogy mappings to reuse the structure and integrity...
ENDM
2000
13 years 6 months ago
2000
Planning and scheduling attracts an unceasing attention of computer science community. Several research areas like Artificial Intelligence, Operations Research and Constraint Prog...