3362 search results - page 349 / 673 » A definition of subjective possibility |
190
click to vote
LCTRTS
2007
Springer
16 years 28 days ago
2007
Springer
Memory management is a critical issue for correctness and performance in real-time embedded systems. Recent work on real-time garbage collectors has shown that it is possible to p...
190
click to vote
MHCI
2007
Springer
16 years 28 days ago
2007
Springer
Information navigation on handheld displays is characterized by the small display dimensions and limited input capabilities of today’s mobile devices. Special strategies are req...
159
click to vote
MLMI
2007
Springer
16 years 28 days ago
2007
Springer
This paper outlines first the BET method for task-based evaluation of meeting browsers. ‘Observations of interest’ in meetings are empirically determined by neutral observers ...
201
click to vote
PEPM
2007
ACM
16 years 27 days ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
175
click to vote
PPDP
2007
Springer
16 years 27 days ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...