2021 search results - page 46 / 405 » COCO: Composition Model and Composition Model Implementation |
FORTE
2007
15 years 3 months ago
2007
Model programs are a useful formalism for software testing and design analysis. They are used in industrial tools, such as SpecExplorer, as a compact, expressive and precise way to...
126
click to vote
JIPS
2010
14 years 8 months ago
2010
Tracking human facial expression within a video image has many useful applications, such as surveillance and teleconferencing, etc. Initially, the Active Appearance Model (AAM) was...
116
click to vote
ISOLA
2010
Springer
15 years 13 days ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
113
click to vote
EEE
2005
IEEE
15 years 7 months ago
2005
IEEE
For the composition of Web services non-functional characteristics are commonly considered criteria for finding and selecting available services. Our work focuses on a mechanism ...
121
click to vote
SOCO
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In addition to publishing composite services as reusable services, compositions can also be reused by applying them to orchestrate different component services. To do so...