Sciweavers

1183 search results - page 160 / 237
» Model Transformation for Service-Oriented Web Applications D...
Sort
View
SPIN
2005
Springer
15 years 3 months ago
Behavioural Models for Hierarchical Components
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
Tomás Barros, Ludovic Henrio, Eric Madelain...
SLE
2009
Springer
15 years 2 months ago
Closing the Gap between Modelling and Java
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...
Florian Heidenreich, Jendrik Johannes, Mirko Seife...
NRHM
1998
124views more  NRHM 1998»
14 years 9 months ago
Adaptable and adaptive information provision for all users, including disabled and elderly people
: Due to the tremendously increasing popularity of the World-Wide Web, hypermedia is going to be the leading online information medium for some years to come and will most likely b...
Josef Fink, Alfred Kobsa, Andreas Nill
ADAEUROPE
2007
Springer
15 years 4 months ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
PRL
2002
87views more  PRL 2002»
14 years 9 months ago
Estimating facial pose using shape-from-shading
This paper reports the application of a recently developed shape-from-shading technique to estimate facial pose. The shape-from-shading algorithm uses a new geometric technique fo...
Kwang Nam Choi, Philip L. Worthington, Edwin R. Ha...