3645 search results - page 87 / 729 » Implementing mapping composition |
CAV
2006
Springer
15 years 3 months ago
2006
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for system synthesis, litt...
ACII
2005
Springer
15 years 1 months ago
2005
Springer
Abstract. An eye contour extraction method which combines a simplied version of Active Shape Model(ASM) with a gradient method is proposed. Considering the large amount of calculat...
ESWS
2008
Springer
15 years 17 days ago
2008
Springer
Abstract. One of the main problems when creating execution-level process models is finding implementations for process activities. Carrying out this activity manually can be time ...
101
click to vote
ICECCS
2010
IEEE
14 years 11 months ago
2010
IEEE
—This paper presents a novel approach to the design of self-adaptive service-oriented applications based on a new model called service tiles. The approach allows designers to dev...
108
click to vote
ICSOC
2009
Springer
14 years 9 months ago
2009
Springer
The huge demand for ad-hoc and situational enterprise-class applications led to a new kind of Web-based applications, known as enterprise mashups. End users from the business units...