1774 search results - page 299 / 355 » Modeling Dynamic Component Interfaces |
CHI
2002
ACM
14 years 10 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...
SP
2009
IEEE
14 years 4 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 ...
IAT
2006
IEEE
14 years 4 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...
ISM
2005
IEEE
14 years 3 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...
DAC
1999
ACM
14 years 2 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...