4520 search results - page 278 / 904 » Algebraic Techniques for Timed Systems |
189
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
We believe handwriting input may be able to provide significant advantages over typing, especially in the mathematics learning domain. The use of handwriting may result in decreas...
188
click to vote
SEFM
2005
IEEE
16 years 27 days ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
201
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by dat...
210
click to vote
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
Physical data independence is touted as a central feature of modern database systems. Both relational and object-oriented systems, however, force users to frame their queries in t...
199
click to vote
EDBT
2000
ACM
15 years 11 months ago
2000
ACM
The MIX mediator systems incorporates a novel framework for navigation-driven evaluation of virtual mediated views. Its architecture allows the on-demand computation of views and q...