1941 search results - page 292 / 389 » Reasoning about Computations Using Two-Levels of Logic |
171
Voted
CONCUR
1994
Springer
15 years 7 months ago
1994
Springer
We augment the I/O automaton model of Lynch and Tuttle with probability, as a step toward the ultimate goal of obtaining a useful tool for specifying and reasoning about asynchron...
142
Voted
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
Software engineers usually represent problems and solutions aph-based notations at different levels of abstractions. These notations are often semi-formal, but the use of graph tr...
118
Voted
DSVIS
2008
Springer
15 years 5 months ago
2008
Springer
The design and evaluation of multimodal systems has traditionally been a craft skill. There are some well established heuristics, guidelines and frameworks for assessing multimodal...
105
Voted
IJCAI
1989
15 years 4 months ago
1989
Model-based revision of knowledge bases ex pressed as first-order theories was shown in [Winslett 88b] to be useful as a means of de scribing and reasoning about the effects o...
98
Voted
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
SpinJa is a model checker for promela, implemented in Java. SpinJa is designed to behave similarly to Spin, but to be more easily extendible and reusable. Despite the fact that Spi...