2308 search results - page 415 / 462 » Categorial Semantics For LFG |
156
Voted
SAC
2010
ACM
16 years 28 days ago
2010
ACM
Biological scientists have made large amounts of data available on the Web, which can be accessed by canned or precomputed queries presented via web forms. To satisfy further info...
179
click to vote
EDBT
2010
ACM
16 years 28 days ago
2010
ACM
When selecting alternatives from large amounts of data, trade-offs play a vital role in everyday decision making. In databases this is primarily reflected by the top-k retrieval p...
151
click to vote
EUROSYS
2009
ACM
16 years 27 days ago
2009
ACM
Virtual Machine (VM) fork is a new cloud computing abstraction that instantaneously clones a VM into multiple replicas running on different hosts. All replicas share the same init...
183
click to vote
PLDI
2009
ACM
16 years 27 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...
155
click to vote
PPPJ
2009
ACM
16 years 27 days ago
2009
ACM
Repository-based revision control systems such as CVS, RCS, Subversion, and GIT, are extremely useful tools that enable software developers to concurrently modify source code, man...