2748 search results - page 8 / 550 » Modelling Fuzzy Sets Using Object-Oriented Techniques |
113
click to vote
LISP
2008
15 years 1 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...
105
click to vote
CC
2005
Springer
15 years 7 months ago
2005
Springer
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
177
click to vote
ER
1995
Springer
15 years 5 months ago
1995
Springer
We describe a (meta) formalism for defining a variety of (object oriented) data models in a unified framework based on a variation of first-order logic. As specific example we use...
115
Voted
EDCC
1994
Springer
15 years 6 months ago
1994
Springer
Security and reliability issues in distributed systems have been investigated for several years at LAAS using a technique called Fragmentation-Redundancy-Scattering (FRS). The aim ...
118
Voted
FCCM
2000
IEEE
15 years 6 months ago
2000
IEEE
Simplifying the programming models is paramount to the success of reconfigurable computing. We apply the principles of object-oriented programming to the design of stream archite...