1774 search results - page 299 / 355 » Modeling Dynamic Component Interfaces |
112
Voted
CHI
2002
ACM
16 years 2 months ago
2002
ACM
There exist several user interface widgets that dynamically grow in size in response to the user's focus of attention. Some of these, such as icons in toolbars, expand to fac...
126
Voted
SP
2009
IEEE
15 years 9 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
107
click to vote
IAT
2006
IEEE
15 years 8 months ago
2006
IEEE
To manage load on large and dynamic networks we have developed Autonomous Mobile Programs (AMPs) that periodically use a cost model to decide where to execute. A disadvantage of d...
110
click to vote
ISM
2005
IEEE
15 years 7 months ago
2005
IEEE
Multi-homed mobile devices have multiple wireless communication interfaces, each connecting to the Internet via a long range but low speed and bursty WAN link such as a cellular l...
119
click to vote
DAC
1999
ACM
15 years 6 months ago
1999
ACM
Dynamic power consumed in CMOS gates goes down quadratically with the supply voltage. By maintaining a high supply voltage for gates on the critical path and by using a low supply...