9730 search results - page 325 / 1946 » Relating models of backtracking |
144
Voted
ECBS
2007
IEEE
15 years 11 months ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
119
Voted
BPM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Despite that formal and informal quality aspects are of significant importance to business process modeling, there is only little empirical work reported on process mode...
133
Voted
ICTAI
2005
IEEE
15 years 10 months ago
2005
IEEE
A large number of practical applications rely on effective algorithms for propositional model enumeration and counting. Examples include knowledge compilation, model checking and ...
113
click to vote
WSC
2008
15 years 7 months ago
2008
The re-use of a model by someone else than the original developer is still an open challenge. This paper presents composition structures and interface descriptions for discreteeve...
145
click to vote
ISTA
2008
15 years 6 months ago
2008
Though there are many Web application modelling approches these are aimed at assiting the implmentaion process. There are many benefits in creating a conceptual model of the Web ap...