1672 search results - page 89 / 335 » Interactive Mathematical Documents |
173
Voted
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...
155
Voted
INTERACTION
2009
ACM
15 years 10 months ago
2009
ACM
DTD and its instance have been considered the standard for data representation and information exchange format on the current web. However, when coming to the next generation of w...
137
click to vote
AVI
2006
2006
Shakespeare's complete works as a benchmark for evaluating multiscale document navigation techniques
15 years 5 months ago
In this paper, we describe an experimental platform dedicated to the comparative evaluation of multiscale electronic-document navigation techniques. One noteworthy characteristic ...
120
click to vote
CADE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
125
click to vote
HCI
2001
15 years 5 months ago
2001
s, covering different levels of abstraction over the information exchanged. As the protocol is layered, we can discuss interaction in terms of different levels of granularity, bett...