2088 search results - page 277 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
165
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Web Services and Service-Oriented Architecture (SOA) has been playing an important role as a middleware for interoperable transactions such as Business-to-Business and Enterprise A...
189
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
In this paper, a new scheme to address the face recognition problem is proposed. Different from traditional face recognition approaches which represent each facial image by a sing...
166
click to vote
COOPIS
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract. Time modeling is a crucial feature in many application domains. However, temporal information often is not crisp, but is uncertain, subjective and vague. This is particul...
166
click to vote
BTW
2007
Springer
16 years 16 days ago
2007
Springer
: Independent, heterogeneous, distributed, sometimes transient and mobile data sources produce an enormous amount of information that should be semantically integrated and filtere...
166
click to vote
ICFEM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...