1567 search results - page 35 / 314 » A Mechanized Model of the Theory of Objects |
107
click to vote
ICEIS
2003
IEEE
15 years 6 months ago
2003
IEEE
: We propose in this article an object-oriented approach to rewriting queries using views. Our approach aims to mitigate certain limitations of existing query rewriting approaches....
ICECCS
2005
IEEE
15 years 7 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
136
click to vote
CIE
2008
Springer
15 years 3 months ago
2008
Springer
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...
CE
2005
15 years 1 months ago
2005
Personalized service is important on the Internet, especially in Web-based learning. Generally, most personalized systems consider learner preferences, interests, and browsing beh...
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...