1992 search results - page 144 / 399 » Model Based Testing with Labelled Transition Systems |
132
Voted
LATIN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We introduce distributed games over asynchronous transition systems to model a distributed controller synthesis problem. A game involves two teams and is not turn-based: ...
122
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
A closed-loop contaminant plume monitoring system is being developed that integrates wireless sensor network based monitoring with numerical models for subsurface plumes. The syst...
126
Voted
ICDAR
2007
IEEE
15 years 9 months ago
2007
IEEE
A vector model based information retrieval of handwritten medical forms is presented in this paper. In order to improve the IR performance on the erroneous output of handwriting r...
108
Voted
DATE
2006
IEEE
15 years 9 months ago
2006
IEEE
Much research has focused on power conservation for the processor, while power conservation for I/O devices has received little attention. In this paper, we analyze the problem of...
124
Voted
MSV
2007
15 years 4 months ago
2007
Abstract - In this paper, an essential oil extraction system with self-refilling system is modeled based on inputoutput data collected from a dedicated acquisition system. The ARMA...