Sciweavers

3274 search results - page 383 / 655
» Access Support in Object Bases
Sort
View
VVEIS
2008
15 years 8 months ago
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
Kenro Yatake, Takuya Katayama
IEEEIAS
2008
IEEE
16 years 1 months ago
Developing a Security Typed Java Servlet
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check f...
Doaa Hassan, Sherif El-Kassas, Ibrahim Ziedan
VLDB
2007
ACM
91views Database» more  VLDB 2007»
16 years 6 months ago
On Dominating Your Neighborhood Profitably
Recent research on skyline queries has attracted much interest in the database and data mining community. Given a database, an object belongs to the skyline if it cannot be domina...
Cuiping Li, Anthony K. H. Tung, Wen Jin, Martin Es...
OOPSLA
2005
Springer
16 years 5 days ago
Io: a small programming language
Io is small prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk[1] (all values are objects), Self[2] (prototype-based), NewtonScript[3] (differe...
Steve Dekorte
160
Voted
IFIP
1998
Springer
15 years 11 months ago
On the architecture of software component systems
Current object-oriented development practice is centered around application frameworks. In this paper, we argue that this approach is misleading, as it distracts from the ultimate...
M. Franz