5525 search results - page 424 / 1105 » Verification of Model Transformations |
209
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
207
click to vote
BIRTHDAY
2003
Springer
15 years 10 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
236
click to vote
KES
2000
Springer
15 years 10 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...
158
click to vote
IJCAI
1997
15 years 8 months ago
1997
Propositional STRIPS planning problems can be viewed as finite state automata (FSAs) represented in a factored form. Automaton minimization is a well-known technique for reducing ...
169
click to vote
ENTCS
2008
15 years 7 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...