950 search results - page 120 / 190 » Pin-pointing concept descriptions |
169
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
136
click to vote
ICVS
2003
Springer
15 years 9 months ago
2003
Springer
This paper explores high-level scene interpretation with logic-based conceptual models. The main interest is in aggregates which describe interesting co-occurrences of physical obj...
146
click to vote
AGENTS
2001
Springer
15 years 9 months ago
2001
Springer
The agent-oriented modeling process is divided in a typical sequence of activities, i.e., requirements specification, analysis, and design. The requirements are specified by des...
135
click to vote
AVBPA
2001
Springer
15 years 9 months ago
2001
Springer
Gait is an emerging biometric. Current systems are either holistic or feature based and have been demonstrated to be able to recognise people by the way they walk. This paper descr...
138
click to vote
UML
2001
Springer
15 years 9 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...