716 search results - page 45 / 144 » time 1997 |
104
click to vote
CHI
1997
ACM
15 years 4 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...
CONCUR
1997
Springer
15 years 4 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...
RTAS
1997
IEEE
15 years 4 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 ...
115
click to vote
RTSS
1997
IEEE
15 years 4 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....
117
click to vote
PODC
1997
ACM
15 years 4 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...