1992 search results - page 349 / 399 » Model Based Testing with Labelled Transition Systems |
134
click to vote
CONTEXT
2003
Springer
15 years 7 months ago
2003
Springer
The development of more and more complex distributed applications over large networks of computers has raised the problem of semantic interoperability across applications based on ...
113
click to vote
TSP
2008
15 years 2 months ago
2008
A new framework for designing robust adaptive filters is introduced. It is based on the optimization of a certain cost function subject to a time-dependent constraint on the norm o...
116
Voted
BPM
2009
Springer
15 years 9 months ago
2009
Springer
Process Mining is a technology for extracting non-trivial and useful information from execution logs. For example, there are many process mining techniques to automatically discove...
116
click to vote
ICPP
2005
IEEE
15 years 8 months ago
2005
IEEE
We describe a generic programming model to design collective communications on SMP clusters. The programming model utilizes shared memory for collective communications and overlap...
128
click to vote
DMIN
2006
15 years 3 months ago
2006
- In this paper we propose a new methodology for Cost-Benefit analysis in a multiple time series prediction problem. The proposed model is evaluated in a real world application bas...