320 search results - page 61 / 64 » Automating Model Transformations in Agent-Oriented Modelling |
SAC
2008
ACM
14 years 9 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
79
Voted
TIM
2010
14 years 4 months ago
2010
Abstract--We apply the maximal overlap discrete wavelet transform (MODWT)-based spectral density estimation method to measure heart rate variability (HRV) from short-duration pulse...
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
The task of registering video frames with a static model is a common problem in many computer vision domains. The standard approach to registration involves finding point correspo...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
SPLC
2008
14 years 11 months ago
2008
Software Product-lines (SPLs) use modular software components that can be reconfigured into different variants for different requirements sets. Feature modeling is a common method...