426 search results - page 27 / 86 » C Annotations |
ESWS
2008
Springer
13 years 10 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
14 years 1 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
14 years 27 days 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
14 years 14 days 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...
BMCBI
2004
13 years 8 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...