4895 search results - page 357 / 979 » Tools for Grammar Engineering |
183
click to vote
CSSW
2007
15 years 8 months ago
2007
Abstract: Large amounts of information from various sources have often to be considered when collaboratively developing semantic structures. Examining all relevant information can ...
168
click to vote
MSO
2003
15 years 8 months ago
2003
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
168
click to vote
BMCBI
2002
15 years 6 months ago
2002
Background: Robustness of mathematical models of biochemical networks is important for validation purposes and can be used as a means of selecting between different competing mode...
173
click to vote
ENTCS
2010
15 years 4 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
167
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
A program is reentrant if distinct executions of that program on distinct inputs cannot affect each other. Reentrant programs have the desirable property that they can be deployed...