3979 search results - page 516 / 796 » Wild control operators |
180
click to vote
FOSSACS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
165
click to vote
ISER
2000
Springer
15 years 10 months ago
2000
Springer
: This paper discusses the general concept of the Super Mechano-System, or SMS and its anticipated applications. The SMS is a new type of robot system, which can transform its shap...
170
click to vote
ITS
2000
Springer
15 years 10 months ago
2000
Springer
We developed a distributed support model in an interface for distant learning. The support is integrated into the ExploraGraph navigator which makes it possible to navigate through...
158
click to vote
SAS
2000
Springer
15 years 10 months ago
2000
Springer
d Abstract) James Riely1 and Jan Prins2 1 DePaul University 2 University of North Carolina at Chapel Hill Abstract. Flattening is a program transformation that eliminates nested pa...
188
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...