1992 search results - page 34 / 399 » Model Based Testing with Labelled Transition Systems |
AMDO
2006
Springer
14 years 8 days ago
2006
Springer
We present a facial deformation system that adapts a generic facial rig into different face models. The deformation is based on labels and allows transferring specific facial feat...
ICST
2008
IEEE
14 years 2 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 ...
TSE
2008
13 years 8 months ago
2008
Test adequacy criteria provide the engineer with guidance on how to populate test suites. While adequacy criteria have long been a focus of research, existing testing methods do no...
CAV
2009
Springer
14 years 1 months ago
2009
Springer
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
TSD
2001
Springer
14 years 29 days ago
2001
Springer
The Internet offers remote access to many information systems to users independent of time and location. This paper describes an agent based approach to deal with issues that rise ...