426 search results - page 27 / 86 » C Annotations |
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
This paper describes a service-oriented architecture for accessing resources through semantically designed portals called hubs. The services are dedicated to: (a) ontology manageme...
C5
2010
IEEE
15 years 2 months ago
2010
IEEE
—Contemporary development environments do not directly and explicitly support developers in having a conversation about the code they write and maintain. This problem is aggravat...
SAS
2001
Springer
15 years 2 months ago
2001
Springer
We present the implementation of cTI, a system for universal left-termination inference of logic programs, which heavily relies on static analysis techniques. Termination inference...
APLAS
2007
ACM
15 years 1 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
101
Voted
BMCBI
2004
14 years 9 months ago
2004
Background: Single-pass, partial sequencing of complementary DNA (cDNA) libraries generates thousands of chromatograms that are processed into high quality expressed sequence tags...