738 search results - page 22 / 148 » Object Orientation and Formal Techniques |
91
Voted
WAIM
2000
Springer
15 years 2 months ago
2000
Springer
Online Analytical Processing (OLAP) data is frequently organized in the form of multidimensional data cubes each of which is used to examine a set of data values, called measures, ...
100
Voted
IPPS
2003
IEEE
15 years 4 months ago
2003
IEEE
An object oriented description and framework of the Multiple ASsociative Computing (MASC) model of parallel computation is presented. This description identifies MASC objects and ...
94
Voted
TCS
2002
14 years 10 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
94
Voted
ECOWS
2007
Springer
15 years 5 months ago
2007
Springer
The semantic annotation of Web services capabilities with ontological information aims at providing the necessary infrastructure for facilitating efficient and accurate service di...
80
Voted
LISP
2008
14 years 11 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...