1699 search results - page 209 / 340 » On the Expressive Power of QLTL |
176
click to vote
ECOOPWEXCEPTION
2000
Springer
15 years 10 months ago
2000
Springer
This paper motivates and presents the specification and the implementation of an exception handling system for an dynamically typed object-oriented language. A full object-oriented...
171
click to vote
IDMS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents a framework for monitoring component interactions. It is part of a larger component framework built on top of the CORBA distributed processing environ...
223
click to vote
OODBS
2000
15 years 10 months ago
2000
A generic graphical query language for ODMG-compliant object databases is proposed, based on the ideas of Query-By-Example, and using UML-like diagrams as schema notation. Ease of ...
176
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
The relations among graphical representations, computer functionality, and everyday objects are more complex than terms like “the desktop metaphor” may suggest. While metaphor...
157
click to vote
WIA
2000
Springer
15 years 10 months ago
2000
Springer
- Adaptive technologies are based on the self-modifying property of some systems, which give their users a very powerful and convenient facility for expressing and handling complex...