3311 search results - page 378 / 663 » Deductive Object Programming |
120
Voted
ICTCS
2007
Springer
15 years 9 months ago
2007
Springer
The information flow property of Non-Interference was recently relaxed into Abstract NonInterference (ANI), a weakened version where attackers can only observe properties of data,...
128
Voted
GREC
2003
Springer
15 years 9 months ago
2003
Springer
To date many methods and programs for automatic text recognition exist. However there are no effective text recognition systems for graphic documents. Graphic documents usually con...
108
Voted
ECOOP
2000
Springer
15 years 8 months ago
2000
Springer
Inner classes in object-oriented languages play a role similar to nested function definitions in functional languages, allowing an object to export other objects with direct acces...
120
Voted
COMPSAC
1998
IEEE
15 years 8 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
124
Voted
REFLECTION
1999
Springer
15 years 8 months ago
1999
Springer
jContractor is a purely library based approach to support Design By Contract specifications such as preconditions, postconditions, class invariants, and recovery and exception hand...