1992 search results - page 178 / 399 » Model Based Testing with Labelled Transition Systems |
180
Voted
KDD
2003
ACM
16 years 4 months ago
2003
ACM
In today's industry, the design of software tests is mostly based on the testers' expertise, while test automation tools are limited to execution of pre-planned tests on...
114
click to vote
JUCS
2006
15 years 3 months ago
2006
Abstract: Most modern computer applications should run on heterogeneous platforms and, moreover, objects and respective code should be easily interchangeable between distinct platf...
118
click to vote
DLOG
2003
15 years 5 months ago
2003
We present a translation of looping alternating two-way automata into a comparably inexpressive description logic, which is contained in SHIQ. This enables us to perform the empti...
136
click to vote
KES
2006
Springer
15 years 3 months ago
2006
Springer
Training of operators has become an important problem to be faced by power systems: updating knowledge and skills. An operator must comprehend the physical operation of the process...
96
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
: This paper takes a look at the general characteristics of business or economic intelligence system. The role of the user within this type of system is emphasized. We propose two ...