22909 search results - page 4501 / 4582 » A System of Interaction and Structure |
183
click to vote
PLDI
2009
ACM
16 years 26 days ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
166
click to vote
SAC
2009
ACM
16 years 26 days ago
2009
ACM
IP multicast is increasingly seen as efficient mode of live content distribution in the Internet to significantly large subscriber bases. Despite its numerous benefits over IP u...
165
click to vote
SIGMOD
2009
ACM
16 years 26 days ago
2009
ACM
Column-stores gained popularity as a promising physical design alternative. Each attribute of a relation is physically stored as a separate column allowing queries to load only th...
176
click to vote
WSDM
2009
ACM
16 years 26 days ago
2009
ACM
We introduce a new visual search interface for search engines. The interface is a user-friendly and informative graphical front-end for organizing and presenting search results in...
181
click to vote
BIRTHDAY
2009
Springer
16 years 26 days ago
2009
Springer
Research into embedded sensor networks has placed increased focus on the problem of developing reliable and flexible software for microcontroller-class devices. Languages such as ...