399 search results - page 54 / 80 » Verification of System Level Model Transformations |
129
click to vote
ENTCS
2008
15 years 2 months ago
2008
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of th...
156
Voted
KES
2000
Springer
15 years 6 months ago
2000
Springer
An approach to multi-view face detection based on head pose estimation is presented in this paper. Support Vector Regression is employed to solve the problem of pose estimation. T...
JUCS
2008
15 years 2 months ago
2008
: Nowadays, the complexity of software applications has brought new challenges to developers, having to deal with a large number of computational requirements. Among these requirem...
128
click to vote
MODELLIERUNG
2008
15 years 4 months ago
2008
: Various types of security goals, such as authentication or confidentiality, can be defined as policies for process-aware information systems, typically in a manual fashion. There...
139
click to vote
HYBRID
2000
Springer
15 years 6 months ago
2000
Springer
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...