Sciweavers

1915 search results - page 192 / 383
» A language for functional interpretation of model based simu...
Sort
View
ACSD
2010
IEEE
255views Hardware» more  ACSD 2010»
15 years 4 months ago
From POOSL to UPPAAL: Transformation and Quantitative Analysis
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jac...
SSDBM
1994
IEEE
153views Database» more  SSDBM 1994»
15 years 10 months ago
An Object-Oriented Data Model for a Time Series Management System
The analysis of time series is a central issue in economic research and many other scientific applications. However, the data management functionality for this field is not provid...
Werner Dreyer, Angelika Kotz Dittrich, Duri Schmid...
IEEEAMS
2003
IEEE
15 years 11 months ago
Programming Systems for Autonomy
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
Alexander V. Konstantinou, Yechiam Yemini
APSEC
1999
IEEE
15 years 10 months ago
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
Jan Philipps, Oscar Slotosch
WSC
2000
15 years 7 months ago
An interactive land use VRML application (ILUVA) with servlet assist
We summarize progress achieved on an interactive land use VRML application (ILUVA) with servlet assist. The purpose of this application is to enable one to take a virtual land are...
Lee A. Belfore II, Suresh Chitithoti