1188 search results - page 148 / 238 » Testing Semantics: Connecting Processes and Process Logics |
142
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Traditional semantic web query languages support a logicbased access to the semantic web. They offer a retrieval (or reasoning) of data based on facts. On the traditional web and...
132
click to vote
BMCBI
2007
15 years 4 months ago
2007
Annotating genes and their products with Gene Ontology codes is an important area of research. One approach for doing this is to use the information available about these genes in...
135
Voted
IEEEARES
2006
IEEE
15 years 10 months ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...
165
click to vote
MA
2000
Springer
15 years 7 months ago
2000
Springer
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
106
Voted
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...