4172 search results - page 96 / 835 » Computing Machinery and Understanding |
JISBD
2000
14 years 11 months ago
2000
The IEEE Computer Society and the Association for Computing Machinery are working on a joint project to develop a guide to the Software Engineering Body of Knowledge (SWEBOK). Art...
ENTCS
2002
14 years 9 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
JUCS
2010
14 years 4 months ago
2010
: Several algorithms have been proposed to compute sets of optima, Pareto sets, and sets of Nash equilibria. In this paper, we present a general algorithm for decision-related set ...
IVCNZ
1998
14 years 11 months ago
1998
: Interval arithmetic is a method for performing computations on measurements that are only known to within a xed error range. As the measurements are combined mathematically, thei...
IPPS
1997
IEEE
15 years 2 months ago
1997
IEEE
Program understanding is central to the development of distributed computations, from the initial coding phase, through testing and debugging, to maintenance and support. Our goal...