1443 search results - page 213 / 289 » Aging Users are Still Users |
116
Voted
OOPSLA
2009
Springer
15 years 5 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
84
Voted
CONTENT
2001
Springer
15 years 5 months ago
2001
Springer
The paper will describe research undertaken to investigate how children can be assisted to construct web based 3D worlds. As new technologies become an increasingly important part ...
132
click to vote
KDD
2001
ACM
15 years 5 months ago
2001
ACM
Advances in image acquisition and storage technology have led to tremendous growth in significantly large and detailed image databases. These images, if analyzed, can reveal usefu...
106
Voted
TACAS
2001
Springer
15 years 5 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
104
click to vote
ACSAC
2000
IEEE
15 years 5 months ago
2000
IEEE
In this paper we describe a new class of tools for protecting computer systems from security attacks. Their distinguished feature is the principle they are based on. Host or netwo...