12333 search results - page 2082 / 2467 » System Level Modelling for Hardware Software Systems |
152
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
User attention is a scarce resource, and users are susceptible to interruption overload. Systems do not reason about the effects of interrupting a user during a task sequence. In ...
285
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Abstract. This paper investigates what is essentially a call-by-value version of PCF under a complexity-theoretically motivated type system. The programming formalism, ATR, has its...
161
Voted
WIAMIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Small digital video cameras have become increasingly common, appearing on portable consumer devices such as cellular phones. The widespread use of video-conferencing, however, is ...
175
Voted
CCGRID
2008
IEEE
16 years 28 days ago
2008
IEEE
Advance reservation allows users to request available nodes in the future, whereas economy provides an incentive for resource owners to be part of the Grid, and encourages users t...
181
click to vote
APN
2007
Springer
16 years 19 days ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...