3081 search results - page 158 / 617 » A Formal Ontology of Properties |
173
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
159
click to vote
EPIA
2009
Springer
16 years 1 months ago
2009
Springer
Although several formal models of emotions for intelligent agents have recently been proposed, such models often do not formally specify how emotions influence the behavior of an ...
170
click to vote
COMPSAC
2003
IEEE
15 years 11 months ago
2003
IEEE
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
167
click to vote
CAISE
2000
Springer
15 years 10 months ago
2000
Springer
We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities ...
179
click to vote
TCS
2002
15 years 6 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...