3031 search results - page 162 / 607 » Model Driven Testing Based on Test History |
150
Voted
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
New architectures for Brain-Machine Interface communication and control use mixture models for expanding rehabilitation capabilities of disabled patients. Here we present and test ...
137
Voted
IJIT
2004
15 years 4 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
101
Voted
ESORICS
1994
Springer
15 years 7 months ago
1994
Springer
The Transformation Model TRM was recently introduced 10 in the literature by Sandhu and Ganta. TRM is based on the concept of transformation of rights. The propagation of access ri...
122
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
A survivable agent system depends on the incorporation of many recovery features. However, the optimal use of these features requires the ability to assess the actual state of the...
141
Voted
PPSN
1998
Springer
15 years 7 months ago
1998
Springer
The Building-Block Hypothesis appeals to the notion of problem decomposition and the assembly of solutions from sub-solutions. Accordingly, there have been many varieties of GA tes...