5525 search results - page 214 / 1105 » Verification of Model Transformations |
124
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
141
click to vote
ICDAR
2007
IEEE
15 years 7 months ago
2007
IEEE
Document examiners use a variety of features to analyze a given handwritten document for writer verification. The challenge in the automatic classification of a pair of documents ...
167
Voted
CL
2008
Springer
15 years 3 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
182
Voted
SP
2010
IEEE
15 years 1 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
125
Voted
SKG
2006
IEEE
15 years 9 months ago
2006
IEEE
Upper bound constraints are often set when complex scientific or business processes are modelled as grid workflow specifications. However, many existing processes such as climate ...