687 search results - page 58 / 138 » Specification and Verification of Model Transformations Usin... |
149
click to vote
RV
2010
Springer
14 years 10 months ago
2010
Springer
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
119
click to vote
ASPLOS
2009
ACM
15 years 4 months ago
2009
ACM
Optical Quadrature Microscopy (OQM) is a process which uses phase data to capture information about the sample being studied. OQM is part of an imaging framework developed by the ...
116
click to vote
RULEML
2010
Springer
14 years 11 months ago
2010
Springer
The main source of changing requirements of the dynamic business environment is response to changes in regulations and contracts towards ...
108
Voted
JCP
2008
15 years 16 days ago
2008
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
103
click to vote
UML
2005
Springer
15 years 6 months ago
2005
Springer
This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...