4035 search results - page 428 / 807 » Useless Actions Are Useful |
184
click to vote
BIRTHDAY
2000
Springer
15 years 11 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
252
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
161
click to vote
JIT
1999
Springer
15 years 11 months ago
1999
Springer
In the near future we expect a widespread deployment of mobile computational resources including network-enabled end devices like Laptops and PDAs. An interesting problem then and ...
192
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
162
click to vote
CHI
1994
ACM
15 years 11 months ago
1994
ACM
This paper describes a model-based analysis of errors in expert use of graphical user interfaces. Two mechanisms, speed-accuracy tradeoffs and attention failures, were simulated b...