1529 search results - page 287 / 306 » An Abstraction Method Using a Semantic Engine Based on Langu... |
158
Voted
ENTCS
2007
15 years 3 months ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...
144
click to vote
AAMAS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Multiagent cooperative negotiation is a promising technique for modeling and controlling complex systems. Effective and flexible cooperative negotiations are especially...
115
Voted
CAV
2009
Springer
16 years 3 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
122
click to vote
WWW
2005
ACM
16 years 4 months ago
2005
ACM
Say you are looking for information about a particular person. A search engine returns many pages for that person's name but which pages are about the person you care about, ...
137
Voted
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
The field of biomedicine has embraced the Semantic Web probably more than any other field. As a result, there is a large number of biomedical ontologies covering overlapping area...