77016 search results - page 597 / 15404 » Modelling |
148
click to vote
IUI
1993
ACM
15 years 11 months ago
1993
ACM
Researchers in the field of intelligent interfaces have concentrated on building architectures, and have placed little emphasis on defining appropriate models. As a result, this...
170
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper presents a model reduction algorithm motivated by a connection between frequency domain projection methods and approximation of truncated balanced realizations. The met...
182
click to vote
CCS
2006
ACM
15 years 11 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...
161
click to vote
CEAS
2006
Springer
15 years 11 months ago
2006
Springer
We address the problem of suggesting who to add as an additional recipient (i.e. cc, or carbon copy) for an email under composition. We address the problem using graphical models ...
239
click to vote
FORMATS
2004
Springer
15 years 11 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...