7961 search results - page 512 / 1593 » Input-Output Model Programs |
211
click to vote
DEXA
1997
Springer
15 years 10 months ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...
181
click to vote
SSPR
2000
Springer
15 years 10 months ago
2000
Springer
Our research focuses on Chinese online ink matching that tries to match handwritten annotations with handwritten queries without attempting to recognize them. Previously, we propos...
176
click to vote
ECIS
2001
15 years 8 months ago
2001
The authors describe on going research to uncover the architectonic nature of artefacts and see how these may be related to high-level, but also grounded, model of the original pr...
175
click to vote
UM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Telecommunication applications based on user modeling focus on extracting customer behavior and preferences from the information implicitly included in Call Detail Record...
215
click to vote
ERSHOV
2009
Springer
15 years 4 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...