426 search results - page 37 / 86 » Towards Verifying Model Transformations |
WWW
2001
ACM
14 years 10 months ago
2001
ACM
First generation Web-content encodes information in handwritten (HTML) Web pages. Second generation Web content generates HTML pages on demand, e.g. by filling in templates with c...
SPIN
2009
Springer
14 years 4 months ago
2009
Springer
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
IPPS
2008
IEEE
14 years 4 months ago
2008
IEEE
The ubiquity of multicore processors in commodity computing systems has raised a significant programming challenge for their effective use. An attractive but challenging approach...
MOMPES
2008
IEEE
14 years 4 months ago
2008
IEEE
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...
ESTIMEDIA
2004
Springer
14 years 3 months ago
2004
Springer
This paper presents a structured application design trajectory to transform media-processing applications— modeled as Kahn process network—into a set of functionspecific hardw...