3983 search results - page 472 / 797 » Conceptual logic programs |
154
click to vote
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Software-based fault isolation (SFI), as used in Google’s Native Client (NaCl), relies upon a conceptually simple machine-code analysis to enforce a security policy. But for com...
156
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Large-scale genomic studies often identify large gene lists, for example, the genes sharing the same expression patterns. The interpretation of these gene lists is gen...
130
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We describe a simple, conceptual forward analysis procedure for complete WSTS S. This computes the clover of a state s0, i.e., a finite description of the closure of the ...
127
click to vote
ESEM
2009
ACM
15 years 11 months ago
2009
ACM
This article describes a survey which aims to identify the relative importance of a set of factors that affect the motivation of software engineers at work. The conceptual underpi...
133
click to vote
CBMS
2008
IEEE
15 years 11 months ago
2008
IEEE
Mapping concepts from medical terminologies, such as the UMLS, to medical documents is a prerequisite for many tasks of (automatically) processing documents. Due to the nature of ...