6704 search results - page 94 / 1341 » Testing Scenario-Based Models |
120
click to vote
ICST
2008
IEEE
15 years 8 months ago
2008
IEEE
Ajax supports the development of rich-client Web applications, by providing primitives for the execution of asynchronous requests and for the dynamic update of the page structure ...
119
click to vote
FATES
2004
Springer
15 years 7 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
112
click to vote
SFP
2003
15 years 3 months ago
2003
G∀ST is a fully automatic test system. Given a logical property, stated as a function, it is able to generate appropriate test values, to execute tests with these values, and to ...
128
click to vote
PROPERTYTESTING
2010
15 years 5 days ago
2010
We survey here property testing results for the so called 'massively parametrized' model (or problems). This paper is based on a survey talk gave at the workshop on prop...
134
click to vote
EOR
2007
15 years 2 months ago
2007
This paper describes an integrated location-distribution model for coordinating logistics support and evacuation operations in disaster response activities. Logistics planning in ...