1887 search results - page 49 / 378 » Annotation Framework Validation Using Domain Models |
132
click to vote
BPM
2008
Springer
15 years 4 months ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...
155
click to vote
AGTIVE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
174
click to vote
ASWEC
2010
IEEE
15 years 2 months ago
2010
IEEE
—A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implement...
119
click to vote
ICIP
2009
IEEE
16 years 3 months ago
2009
IEEE
In recent years, statistically motivated approaches for the registration and tracking of non-rigid objects, such as the Active Appearance Model (AAM), have become very popular. A ...
FM
2003
Springer
15 years 7 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...