8933 search results - page 396 / 1787 » Usability over time |
179
click to vote
ICALP
1998
Springer
15 years 11 months ago
1998
Springer
The complexity of LTrL, a global linear time temporal logic over traces is investigated. The logic is global because the truth of a formula is evaluated in a global state, also ca...
165
Voted
TIME
1994
IEEE
15 years 11 months ago
1994
IEEE
We present a two dimensional temporal structure that has an ever changing present. Relative to each present, there is a past and future. The main representational advantage our tw...
169
Voted
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
- The required processing performance of embedded processor core is getting higher and higher without increasing power consumption dramatically. In same time, large SoC design has ...
194
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
We report tindings from an observational study on the nature of interruptions in the workplace. The results show that in most cases, (64”A), the recipient received some benefit ...
173
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
In connection with machine arithmetic, we are interested in systems of constraints of the form x + k y + k . Over integers, the satisfiability problem for such systems is polynomi...