1980 search results - page 266 / 396 » Compositional Model Checking of Real Time Systems |
131
click to vote
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
106
click to vote
ICPR
2008
IEEE
15 years 9 months ago
2008
IEEE
The conventional octree construction method is implemented iteratively at consecutive subdivision levels. The resultant octree models at different subdivision levels contain quite...
111
Voted
SMC
2007
IEEE
15 years 9 months ago
2007
IEEE
— Antilock Braking System (ABS) exhibits strongly nonlinear and uncertain characteristics. To overcome these difficulties, robust control methods should be employed. In this pap...
144
Voted
ICS
2007
Tsinghua U.
15 years 9 months ago
2007
Tsinghua U.
Observing the workload on a computer system during a short (but not too short) time interval may lead to distributions that are significantly different from those that would be o...
127
Voted
JCIT
2008
15 years 3 months ago
2008
In this paper we propose methods to utilize Artificial Neural Networks to obtain knowledge for the management of educational resources. The final evaluations provide us a model th...