9067 search results - page 41 / 1814 » Adaptive Model Checking |
ENTCS
2002
13 years 9 months ago
2002
or Abstraction in Model Checking Mar
ENTCS
2006
13 years 10 months ago
2006
Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service colla...
SNPD
2008
13 years 11 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
SPIN
1999
Springer
14 years 2 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
ICWE
2005
Springer
14 years 3 months ago
2005
Springer
Modelling adaptive Web applications is a difficult and complex task. Usually, the development of general system functionality and context adaptation is intertwined. However, adapt...