9245 search results - page 1227 / 1849 » Virtualization |
189
Voted
CAV
2010
Springer
15 years 10 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
134
Voted
CHI
2010
ACM
15 years 10 months ago
2010
ACM
Virtually all teleconferencing solutions are designed to facilitate face-to-face interactions. While face-to-face is suitable for meetings or conversations, we see many real-world...
246
click to vote
DEXA
2009
Springer
15 years 10 months ago
2009
Springer
Peer-to-Peer (P2P) data integration combines the P2P infrastructure with traditional scheme-based data integration techniques. Some of the primary problems in this research area ar...
198
click to vote
DEON
2010
Springer
15 years 10 months ago
2010
Springer
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
169
click to vote
BMVC
2002
15 years 9 months ago
2002
Given a set of real images, Novel View Synthesis (NVS) aims to produce views of a scene that would correspond to that of a virtual camera. There exist many approaches to solving t...