3311 search results - page 378 / 663 » Deductive Object Programming |
169
click to vote
ICTCS
2007
Springer
16 years 25 days 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,...
165
click to vote
GREC
2003
Springer
15 years 12 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...
161
click to vote
ECOOP
2000
Springer
15 years 11 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...
158
click to vote
COMPSAC
1998
IEEE
15 years 11 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...
168
click to vote
REFLECTION
1999
Springer
15 years 11 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...