2106 search results - page 214 / 422 » Specifying C concepts |
169
click to vote
IFIP
2007
Springer
15 years 10 months ago
2007
Springer
In global software development (GSD) projects, distributed teams collaborate to deliver high-quality software. Project managers need to control these development projects, which in...
144
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
131
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper addresses the challenging problem of statistics on images by describing average and variability. We describe computational anatomy tools for building 3-D and spatio-tem...
131
click to vote
COLT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. There has been growing interest in practice in using unlabeled data together with labeled data in machine learning, and a number of different approaches have been develo...
125
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...