14809 search results - page 126 / 2962 » Model transformation by demonstration |
ACHI
2009
IEEE
14 years 5 months ago
2009
IEEE
Human interaction like entering some data, making decisions etc. has to be dealt with as an integral part of today’s business processes and the supporting IT likewise. Hence, hu...
ICIW
2009
IEEE
14 years 4 months ago
2009
IEEE
— Supporting business services through Web service compositions (WSC) as part of service-oriented architectures (SOA) involves business performance monitoring requirements. Their...
KI
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
ISLPED
2010
ACM
13 years 10 months ago
2010
ACM
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
ICIP
2006
IEEE
14 years 11 months ago
2006
IEEE
We address the problem of segmenting multiple similar objects by optimizing a Chan-Vese-like [1] functional with respect to a mixture of level set functions. We solve the variatio...