4166 search results - page 706 / 834 » Automating the constraining process |
143
Voted
RTAS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...
133
click to vote
TPHOL
2003
IEEE
15 years 8 months ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
136
click to vote
WCRE
2003
IEEE
15 years 8 months ago
2003
IEEE
One prevalent method for evaluating the results of automated software analysis tools is to compare the tools’ output to the judgment of human experts. This evaluation strategy i...
137
Voted
IUI
2003
ACM
15 years 8 months ago
2003
ACM
Embodied agents present ongoing challenging agenda for research in multi-modal user interfaces and humancomputer-interaction. Such agent metaphors will only be widely applicable t...
125
Voted
MM
2003
ACM
15 years 8 months ago
2003
ACM
Pictures have become increasingly common and popular in mobile communications. However, due to the limitation of mobile devices, there is a need to develop new technologies to fac...