159 search results - page 27 / 32 » Type Equivalence Checking in Persistent Object Systems |
POPL
2000
ACM
14 years 28 days ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
ARTMED
2010
13 years 8 months ago
2010
Objective: The programming language Arden Syntax has been optimised for use in clinical decision support systems. We describe an extension of this language named Fuzzy Arden Synta...
JIPS
2010
13 years 3 months ago
2010
In order to provide a tailored education for learners within the ubiquitous environment, it is critical to undertake an analysis of the learning activities of learners. For this pu...
MCU
1998
13 years 10 months ago
1998
The paper extends some of the most recently obtained results on the computational universality of speci c variants of H systems (e.g. with regular sets of rules) and proves that we...
RAID
2010
Springer
13 years 7 months ago
2010
Springer
Dynamic kernel memory has been a popular target of recent kernel malware due to the difficulty of determining the status of volatile dynamic kernel objects. Some existing approach...