5608 search results - page 332 / 1122 » Structure description tools |
126
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...
126
click to vote
ESWS
2006
Springer
15 years 8 months ago
2006
Springer
Recently, research projects such as PADLR and SWAP have developed tools like Edutella or Bibster, which are targeted at establishing peer-to-peer knowledge management (P2PKM) syste...
157
Voted
FDL
2006
IEEE
15 years 8 months ago
2006
IEEE
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...
150
Voted
DLOG
2007
15 years 7 months ago
2007
Abstract. We present a novel approach to logic-based bilateral negotiation in ecommerce systems. We use Description Logics to describe both requests/offers submitted by buyers and ...
219
Voted
ELPUB
2008
ACM
15 years 6 months ago
2008
ACM
This paper reports on an inquiry into the use of metadata, publishing formats, and markup in editormanaged open access journals. It builds on findings from a study of the document...