2909 search results - page 543 / 582 » Consistency of the theory of contexts |
196
click to vote
POPL
2005
ACM
16 years 3 days ago
2005
ACM
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...
201
click to vote
POPL
2003
ACM
16 years 3 days ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
101
click to vote
RECOMB
2006
Springer
16 years 3 days ago
2006
Springer
Abstract. Transcriptional interactions in a cell are modulated by a variety of mechanisms that prevent their representation as pure pairwise interactions between a transcription fa...
174
click to vote
VLDB
2007
ACM
16 years 20 hour ago
2007
ACM
Workload management for business intelligence (BI) queries poses different challenges than those addressed in the online transaction processing (OLTP) context. The fundamental pro...
EDBT
2002
ACM
15 years 12 months ago
2002
ACM
The amount of stored information is exploding while, at the same time, tools for accessing relevant information are rather under-developed. Usually, all users have a pre-defined vi...