12289 search results - page 2293 / 2458 » System modeling with mixed object and data models |
128
click to vote
TLDI
2003
ACM
15 years 10 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
135
click to vote
ICDCSW
2002
IEEE
15 years 9 months ago
2002
IEEE
Time-driven Key Sequencing (TKS) is a key management technique that synchronizes the session key used by a set of communicating principals based on time of day. This relatively lo...
144
click to vote
INFOCOM
2002
IEEE
15 years 9 months ago
2002
IEEE
-- We consider power and server allocation in a multi-beam satellite downlink which transmits data to N different ground locations over N time-varying channels. Packets destined fo...
111
click to vote
EICS
2009
ACM
15 years 9 months ago
2009
ACM
As user interfaces become more and more complex and feature laden, usability tends to decrease. One possibility to counter this effect are intelligent support mechanisms. In this ...
156
Voted
MDM
2009
Springer
15 years 9 months ago
2009
Springer
Context-awareness has become a desired key feature of today’s mobile systems, yet, its realization still remains a challenge. On the one hand, mobile computing provides great po...