3726 search results - page 198 / 746 » A structured definition of the modeling process |
146
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
207
click to vote
ACTA
2005
15 years 7 months ago
2005
MoMi (Mobile Mixins) is a coordination language for mobile processes that communicate and exchange object-oriented code in a distributed context. MoMi's key idea is structuri...
179
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
The Spanish National Agency for Quality Assessment and Accreditation as part of its evaluation activities has established a procedure for evaluating both teaching and institutions,...
201
click to vote
EICS
2010
ACM
15 years 4 months ago
2010
ACM
We propose an automated routine for hierarchical menu structure optimization. A computer advice-giving system founded on the mathematical model of menu navigation directs the desi...
237
click to vote
TCSV
2010
15 years 1 months ago
2010
Abstract--We present a novel tracking method for effectively tracking objects in structured environments. The tracking method finds applications in security surveillance, traffic m...