7766 search results - page 1103 / 1554 » Testing Nondeterminate Systems |
131
click to vote
RTSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
135
click to vote
TABLETOP
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a novel interface for a digital paint system: IntuPaint. A tangible interface for a digital paint easel, using an interactive surface and electronic brushes wi...
137
click to vote
TOOLS
2008
IEEE
15 years 11 months ago
2008
IEEE
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
172
click to vote
VTC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—Adaptive Token Bank Fair Queuing (ATBFQ) algorithm has been proposed as a cross-layer scheduling technique for 4G wireless systems recently. This algorithm takes higher ...
138
click to vote
CIDM
2007
IEEE
15 years 11 months ago
2007
IEEE
— To generate plans for collecting data for data mining, an important problem is information volatility during planning: the information needed by the planning system may change ...