4894 search results - page 318 / 979 » Choices |
209
click to vote
AIME
2003
Springer
16 years 20 days ago
2003
Springer
Among the well agreed-on benefits of a guideline computerisation, with respect to the traditional text format, there are the disambiguation, the possibility of looking at the guide...
204
click to vote
ATAL
2003
Springer
16 years 20 days ago
2003
Springer
A team of agents planning to perform a complex task make a number of interrelated decisions as they determine precisely how that complex task will be performed. The decision set i...
175
click to vote
CC
2003
Springer
16 years 20 days ago
2003
Springer
Polyglot is an extensible compiler framework that supports the easy creation of compilers for languages similar to Java, while avoiding code duplication. The Polyglot framework is ...
192
click to vote
CONCUR
2003
Springer
16 years 20 days ago
2003
Springer
We propose an algorithm for generating a Priority Rewrite System (PRS) for an arbitrary process language in the OSOS format such that rewriting of process terms is sound for bisim...
186
Voted
FM
2003
Springer
16 years 19 days ago
2003
Springer
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the anima...