1376 search results - page 22 / 276 » Model-Driven Software Verification |
103
click to vote
EDOC
2008
IEEE
15 years 8 months ago
2008
IEEE
Service-Oriented Architectures (SOAs) have become an important cornerstone of the development of enterprise-scale software applications. Although a range of domain-specific langua...
125
click to vote
APSEC
2006
IEEE
15 years 7 months ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
128
Voted
APSEC
2005
IEEE
15 years 7 months ago
2005
IEEE
As the number of available Web services increases there is a growing demand to realise complex business processes by combining and reusing available Web services. The reuse and co...
126
Voted
HIS
2007
15 years 3 months ago
2007
Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hard...
123
click to vote
ICCV
1999
IEEE
16 years 3 months ago
1999
IEEE
We show that we can effectively and automatically fit a complex facial animation model to uncalibrated image sequences. Our approach is based on model-driven bundleadjustment foll...