Sciweavers

229 search results - page 32 / 46
» Model Transformation: A declarative, reusable patterns appro...
Sort
View
COLCOM
2008
IEEE
15 years 1 months ago
Mashup Model and Verification Using Mashup Processing Network
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
Ehtesham Zahoor, Olivier Perrin, Claude Godart
KBSE
2007
IEEE
15 years 5 months ago
Tools for model-based security engineering: models vs. code
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
Jan Jürjens, Yijun Yu
ICSE
2008
IEEE-ACM
15 years 11 months ago
An ontology-driven software architecture evaluation method
Software architecture evaluation has a crucial role in the life cycle of software intensive systems. In this paper we propose an approach to empower a software architecture evalua...
Aida Erfanian, Fereidoun Shams Aliee
GECCO
2007
Springer
137views Optimization» more  GECCO 2007»
15 years 5 months ago
Robust multi-cellular developmental design
This paper introduces a continuous model for Multi-cellular Developmental Design. The cells are fixed on a 2D grid and exchange ”chemicals” with their neighbors during the gr...
Alexandre Devert, Nicolas Bredeche, Marc Schoenaue...
ICIP
2004
IEEE
16 years 26 days ago
A hidden markov model framework for traffic event detection using video features
We present a novel approach for highway traffic event detection. Our algorithm extracts features directly from the compressed video and automatically detects traffic events using ...
Xiaokun Li, Fatih Murat Porikli