523 search results - page 57 / 105 » Online Testing of Real-time Systems Using Uppaal |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Due to the flexibility and adaptability of human, manual handling work is still very important in industry, especially for assembly and maintenance work. Well-designed work operat...
MOBICOM
2006
ACM
14 years 1 months ago
2006
ACM
This paper discusses the current state of the art systems of real time telemetry on oceanographic moorings and describes the design requirements for making acoustic modem data tel...
ICDCS
2012
IEEE
11 years 10 months ago
2012
IEEE
Abstract—Virtualized cloud systems are prone to performance anomalies due to various reasons such as resource contentions, software bugs, and hardware failures. In this paper, we...
ICDAR
2009
IEEE
13 years 5 months ago
2009
IEEE
This paper describes a publicly available database, CASIA-OLHWDB1, for research on online handwritten Chinese character recognition. This database is the first of our series of on...
ENGL
2008
13 years 7 months ago
2008
The objective herein is to demonstrate the feasibility of a real-time digital control of an inverted pendulum for modeling and control, with emphasis on nonlinear auto regressive m...