14360 search results - page 268 / 2872 » Time Modeling in MARTE |
DATE
2005
IEEE
14 years 4 months ago
2005
IEEE
Designers of factory automation applications increasingly demand for tools for rapid prototyping of hardware extensions to existing systems and verification of resulting behavior...
WORDS
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
AUSAI
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. The algorithm selection problem aims to select the best algorithm for an input problem instance according to some characteristics of the instance. This paper presents a l...
ER
2004
Springer
14 years 4 months ago
2004
Springer
The adoption of a logical model for temporal, data-intensive Web sites is proposed together with a methodology for the development. The model allows the definition of page-schemes...
ICCSA
2004
Springer
14 years 4 months ago
2004
Springer
The paper presents an improved scheme for the visualization of 3D terrain in real-time using Digital Elevation Model (DEM). The method is primarily based on a modified version of R...