795 search results - page 95 / 159 » A Formal Approach to Heterogeneous Software Modeling |
143
Voted
IEE
2008
15 years 3 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
108
Voted
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
134
Voted
VL
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we propose a visual interface for the specification of predicates to be used in queries on spatio-temporal databases. The approach is based on a visual specification...
153
Voted
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper considers a matrix-based discrete event control approach for a warehouse. The control system is organized in two modules: a dynamic model and a controller. The model pro...
155
Voted
JSW
2007
15 years 3 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...