3515 search results - page 671 / 703 » On the semantics of Strategy Logic |
166
click to vote
SYSTOR
2009
ACM
16 years 1 months ago
2009
ACM
Virtualization is becoming widely deployed in servers to efficiently provide many logically separate execution environments while reducing the need for physical servers. While th...
179
click to vote
HOST
2008
IEEE
16 years 1 months ago
2008
IEEE
—Straightforward implementations of cryptographic algorithms are known to be vulnerable to attacks aimed not at the mathematical structure of the cipher but rather at the weak po...
221
click to vote
CPAIOR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
168
click to vote
DFG
2007
Springer
16 years 1 months ago
2007
Springer
: To better understand how developmental regulatory networks are defined in the genome sequence, the Berkeley Drosophila Transcription Network Project (BDNTP) has developed a suit...
168
click to vote
CHI
2006
ACM
16 years 25 days ago
2006
ACM
Multi-display environments and smart meeting rooms are now becoming more common. These environments build a shared display space from variety of devices: tablets, projected surfac...