1431 search results - page 172 / 287 » Solving Constraints in Model Transformations |
101
click to vote
LISA
2003
15 years 2 months ago
2003
Often network components work correctly, yet end-to-end services don’t. This happens if configuration parameters of components are set to incorrect values. Configuration is a fu...
100
click to vote
IUI
2004
ACM
15 years 6 months ago
2004
ACM
Re-engineering transforms a final user interface into a logical representation that is manipulable enough to allow forward engineering to port a UI from one computing platform to ...
116
click to vote
ECOWS
2008
Springer
15 years 2 months ago
2008
Springer
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...
101
click to vote
LISP
2008
15 years 20 days ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
96
Voted
ICPR
2008
IEEE
15 years 7 months ago
2008
IEEE
— A calibration method for a structured light system by observing a planar object from unknown viewpoints is proposed. A structured light system captures a 3D shape by a camera t...