6201 search results - page 90 / 1241 » Implementation of Axiomatic Language |
127
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
A multi-agent system is a useful approach for the complex systems. One of the important concepts of multi-agent systems is cooperativeness, or interactions. However, existing lang...
135
click to vote
GEOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Semantic similarity measurement gained attention as a methodology for ontology-based information retrieval within GIScience over the last years. Several theories explain ...
153
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
Term Rewriting Systems (TRSs) are now commonly used as a modeling language for applications. In those rewriting based models, reachability analysis, i.e. proving or disproving that...
159
Voted
DASIP
2010
14 years 11 months ago
2010
This paper proposes an automatic design flow from userfriendly design to efficient implementation of video processing systems. This design flow starts with the use of coarsegrain ...
93
Voted
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents TPCC-UVa, an open-source implementation of the TPC-C benchmark intended to be used in parallel and distributed systems. TPCC-UVa is written entirely in C langu...