4255 search results - page 467 / 851 » Database: Models, Languages, Design |
199
click to vote
IFM
2007
Springer
16 years 1 months ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
188
click to vote
SIGMOD
1999
ACM
15 years 11 months ago
1999
ACM
The design of webbases, database systems for supporting Webbased applications, is currently an active area of research. In this paper, we propose a 3-layer architecture for design...
138
click to vote
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper proposes an original model of the execution time of assembly instructions in superscalar architectures. The approach is based on a rigorous mathematical model and provi...
166
click to vote
CW
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we introduce a function-defined extension of Virtual Reality Modeling Language where analytical formulas are used for defining geometry and appearance of 3D shapes. ...
164
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...