3155 search results - page 253 / 631 » How Are You Doing |
LOPSTR
1998
Springer
14 years 1 months ago
1998
Springer
This paper describes a class of decision procedures that we have found useful for efficient, domain-specific deductive synthesis, and a method for integrating this type of procedur...
PLILP
1998
Springer
14 years 1 months ago
1998
Springer
This paper shows how lazy functional programs can be made mobile by compiling them for the Java Virtual Machine. The Haskell compiler it describes is based on the h ,Gi-machine, wh...
POS
1998
Springer
14 years 1 months ago
1998
Springer
The Object Management Group (OMG) have defined mechanisms to support the persistence of CORBA objects with both the now deprecated Persistent Object Service (POS) and the new Pers...
VLDB
1998
ACM
14 years 1 months ago
1998
ACM
It is today widely acceptedthat "Business Rules Independence" is required for information systemsto better and more rapidly adjust to changesin thebusinessenvironment,Th...
SP
1997
IEEE
14 years 1 months ago
1997
IEEE
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...