217 search results - page 44 / 44 » Towards a Mathematical Operational Semantics |
199
Voted
VSTTE
2005
Springer
16 years 27 days ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
256
Voted
LOGCOM
1998
15 years 7 months ago
1998
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...