854 search results - page 88 / 171 » Addressing Dynamic Issues of Program Model Checking |
137
Voted
CP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...
153
click to vote
RE
2010
Springer
14 years 9 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
139
Voted
IIWAS
2004
15 years 4 months ago
2004
: This paper addresses two important aspects of Web service compositions - on the one hand, flexibility of Web service (WS) compositions, and on the other the automatic development...
138
Voted
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
99
Voted
EPIA
2007
Springer
15 years 8 months ago
2007
Springer
As we face the real possibility of modelling agent systems capable of non-deterministic self-evolution, we are confronted with the problem of having several different possible futu...