1703 search results - page 209 / 341 » Model interoperability via Model Driven Development |
146
Voted
ATC
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Pervasive computing applications must be sufficiently autonomous to adapt their behaviour to changes in computing resources and user requirements. This capability is know...
145
Voted
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
Schema evolution is an unavoidable consequence of the application development lifecycle. The two primary schemas in an application, the client conceptual object model and the pers...
149
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
170
click to vote
SOCO
2007
Springer
15 years 11 months ago
2007
Springer
In component based software engineering, an application is build by composing trusted and reusable units of execution, the components. A composition is formed by connecting the com...
174
click to vote
ADBIS
2010
Springer
15 years 5 months ago
2010
Springer
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...