195 search results - page 25 / 39 » Testing Complex Business Process Solutions |
139
Voted
SACMAT
2010
ACM
15 years 6 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
102
Voted
RE
2008
Springer
15 years 1 months ago
2008
Springer
U.S. laws and regulations are designed to support broad societal goals, such as accessibility, privacy and safety. To demonstrate that a product complies with these goals, busines...
103
click to vote
GECCO
2005
Springer
15 years 7 months ago
2005
Springer
The size and complexity of systems based on multiple processing units demand techniques for the automatic diagnosis of their state. System-level diagnosis consists in determining ...
107
Voted
AMI
2008
Springer
15 years 3 months ago
2008
Springer
With today's technology, elderly users could be supported in living independently in their own homes for a prolonged period of time. Commercially available products enable rem...
142
Voted
CORR
2006
Springer
15 years 1 months ago
2006
Springer
Fitness functions based on test cases are very common in Genetic Programming (GP). This process can be assimilated to a learning task, with the inference of models from a limited n...