796 search results - page 98 / 160 » An Overview of Separation Logic |
122
click to vote
AVI
2008
15 years 3 months ago
2008
An emerging trend in Web computing aims at collecting and integrating distributed data. For instance, community driven efforts recently have build ontological repositories made of...
108
Voted
ATAL
2005
Springer
15 years 2 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...
116
Voted
ECIR
2007
Springer
15 years 2 months ago
2007
Springer
The availability of a document’s logical structure in XML retrieval allows retrieval systems to return document portions (elements) instead of whole documents. This helps searche...
96
Voted
AVI
2000
15 years 2 months ago
2000
A multiple view system uses two or more distinct views to support the investigation of a single conceptual entity. Many such systems exist, ranging from computer-aided design (CAD...
112
Voted
BIOSYSTEMS
2008
15 years 26 days ago
2008
This paper aims to offer an overview of the meaning of autonomy for biological individuals and artificial models rooted in a specific perspective that pays attention to the histor...