9067 search results - page 565 / 1814 » Adaptive Model Checking |
184
click to vote
JUCS
2006
15 years 7 months ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
193
click to vote
CHI
2009
ACM
15 years 4 months ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
209
click to vote
STTT
2008
15 years 7 months ago
2008
Protos is a popular tool for business process modelling used in more than 1500 organizations. It has a built-in Petri-net-based simulation engine which shows key performance indica...
153
click to vote
UM
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes how a user modeling knowledge base for personalized TV servers can be generated starting from an analysis of lifestyles surveys. The aim of the research is the...
170
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
The wide variety of abstract system development methodologies available includes the waterfall and V models. These models are often too generic and need careful adaptation to suit ...