2658 search results - page 499 / 532 » Micro-communication Element System |
124
click to vote
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...
108
click to vote
SAS
2009
Springer
16 years 11 days ago
2009
Springer
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
119
click to vote
POPL
2010
ACM
15 years 9 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
101
click to vote
ISBRA
2010
Springer
15 years 6 months ago
2010
Springer
Biological research is becoming increasingly complex and data-rich, with multiple public databases providing a variety of resources: hundreds of thousands of substances and interac...
ESWS
2009
Springer
15 years 6 months ago
2009
Springer
Despite serious research efforts, automatic ontology matching still suffers from severe problems with respect to the quality of matching results. Existing matching systems trade-of...