15635 search results - page 516 / 3127 » Modelling and Design of VAML |
208
click to vote
CSCWD
2001
Springer
15 years 11 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
206
click to vote
CSMR
1999
IEEE
15 years 11 months ago
1999
IEEE
Growing maintenance costs have become a major concern for developers and users of software systems. Changeability is an important aspect of maintainability, especially in environm...
238
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
Latest results of statistical learning theory have provided techniques such us pattern analysis and relational learning, which help in modeling system behavior, e.g. the semantics ...
174
click to vote
ICWL
2010
Springer
15 years 4 months ago
2010
Springer
Learning path construction is a complex task. It involves formulating and organizing learning activities, defining ways to evaluate student learning progress and to match such prog...
194
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...