379 search results - page 54 / 76 » The AGEDIS Tools for Model Based Testing |
103
Voted
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
The standard CORBA operation invocation model supports synchronous, one-way, and deferred synchronous interactions between clients and servers. However, this model is too restrict...
138
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: Microarray-CGH experiments are used to detect and map chromosomal imbalances, by hybridizing targets of genomic DNA from a test and a reference sample to sequences imm...
129
Voted
FTCS
1998
15 years 5 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
145
Voted
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
Abstract. When installing network intrusion detection systems (NIDSs), operators are faced with a large number of parameters and analysis options for tuning trade-offs between dete...
126
click to vote
BILDMED
2007
15 years 5 months ago
2007
Abstract. The problem of repositioning mobile C-arms to defined target locations during surgical procedures currently requires not only time, but also skill and additional radiati...