3005 search results - page 457 / 601 » Logical Information Systems: from Taxonomies to Logics |
163
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
The paper provides an overview of the agent-based solutions developed by the Rockwell Automation company for the purposes of industrial control. Using agent-based manufacturing co...
183
click to vote
CASES
2010
ACM
15 years 4 months ago
2010
ACM
Unobtrusive capturing of program execution traces in real-time is crucial in debugging cyber-physical systems. However, tracing even limited program segments is often cost-prohibi...
208
click to vote
EKAW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Dealing with heterogeneous ontologies by means of semantic mappings has become an important area of research and a number of systems for discovering mappings between onto...
167
click to vote
NAR
2008
15 years 6 months ago
2008
GenBank (R) is a comprehensive sequence database that contains publicly available DNA sequences for more than 119 000 different organisms, obtained primarily through the submissio...
159
click to vote
PLDI
2006
ACM
16 years 13 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...