216 search results - page 23 / 44 » Polymorphic Scenario-Based Specification Models: Semantics a... |
AI
2005
Springer
13 years 8 months ago
2005
Springer
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...
DAGSTUHL
2003
13 years 9 months ago
2003
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...
UML
2004
Springer
14 years 1 months ago
2004
Springer
Use Cases have achieved wide use as a specification tool for observable behavior of systems. However, there is still much controversy, inconsistent use, and free-flowing interpreta...
ESWS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...
TKDE
2002
13 years 8 months ago
2002
Materialization is a powerful and ubiquitous abstraction pattern for conceptual modeling that relates a class of categories (e.g., models of cars) and a class of more concrete obje...