716 search results - page 45 / 144 » time 1997 |
181
click to vote
CHI
1997
ACM
15 years 10 months ago
1997
ACM
To understand how people search for a known target item in an unordered pull-down menu, this research presents cognitive models that vary serial versus parallel processing of menu...
154
click to vote
CONCUR
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We extend cc to allow the specification of a discrete probability distribution for random variables. We demonstrate the expressiveness of pcc by synthesizing combinators...
153
click to vote
RTAS
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents a survey of results in developing Real-Time CORBA, a standard for real-time management of distributed objects. The paper includes background on two areas that ...
183
click to vote
RTSS
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
188
click to vote
PODC
1997
ACM
15 years 10 months ago
1997
ACM
Systems that store objects at a large number of sites require fault-tolerant and timely garbage collection. A popular technique is to trace each site independently using inter-sit...