3726 search results - page 344 / 746 » A structured definition of the modeling process |
176
click to vote
KI
2008
Springer
15 years 6 months ago
2008
Springer
Requirements engineering is a central part of software projects. It is assumed that two third of all errors in software projects are caused by forgotten requirements or mutual misu...
162
click to vote
ECBS
2010
IEEE
16 years 5 days ago
2010
IEEE
The Uniļ¬ed Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
167
click to vote
FORMATS
2003
Springer
16 years 2 days ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their eļ¬cient veriļ¬cation through model checking. The algebra is provided with two con...
173
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
In this paper we propose a system that recognises gait and quadruped structure from a sparse set of tracked points. In this work the motion information is derived from dynamic wil...
188
click to vote
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
Recently, dependency grammar has become quite popular in relatively free word-order languages. We encounter many structural ambiguities when parsing a sentence using dependency gr...