5608 search results - page 587 / 1122 » Structure description tools |
156
Voted
ENTCS
2008
15 years 7 months ago
2008
This paper describes experiences from implementing key parts of a compiler for Modelica, an object-oriented language supporting declarative modeling and simulation of complex phys...
181
click to vote
DSS
2006
15 years 7 months ago
2006
We introduce AuctionExplorer, a suite of tools for exploring databases of online auctions. The suite combines tools for collecting, processing, and interactively exploring auction...
177
click to vote
ECEASST
2006
15 years 7 months ago
2006
Abstract. Recently, many researchers are working on semantics preserving model transformation. In the field of graph transformation one can think of translating graph grammars writ...
132
Voted
ENTCS
2006
15 years 7 months ago
2006
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of ...
202
click to vote
KES
2008
Springer
15 years 7 months ago
2008
Springer
A great deal of work has been carried out in recent years to facilitate access to data and information available on the Web. Proposals converge in two additional areas which consis...