3311 search results - page 151 / 663 » Deductive Object Programming |
98
Voted
TOOLS
2000
IEEE
15 years 6 months ago
2000
IEEE
The success of distributed object technology, depends on the advent of Object Request Broker (ORB) architectures that are able to integrate flexible support for various nonfunctio...
TOOLS
1999
IEEE
15 years 6 months ago
1999
IEEE
the right abstractions is important for managing the complexity of your system. Three t abstractions used today are object, component and agent. Many similarities exist these abst...
131
click to vote
POS
1998
Springer
15 years 6 months ago
1998
Springer
The 3 tier architecture logically separates the functions of an application into a user interface component, a server business logic component, and a database component. Many appl...
113
click to vote
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
We present a sound and complete method for reasoning about contextual equivalence in the untyped, imperative object calculus of Abadi and Cardelli [1]. Our method is based on bisim...
DAGM
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. This paper presents a fast object class localization framework implemented on a data parallel architecture currently available in recent computers. Our case study, the im...