2763 search results - page 152 / 553 » The Dangerous 'All' in Specifications |
161
click to vote
TARK
1998
Springer
15 years 10 months ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
168
click to vote
IUI
1997
ACM
15 years 10 months ago
1997
ACM
FUSE (Formal User Interface Specification Environment) is an integrated user interface development environment that offers tool-based support for all phases of the interface desig...
153
click to vote
ICTAI
1996
IEEE
15 years 10 months ago
1996
IEEE
In many applications, such as decision support, negotiation, planning, scheduling, etc., one needs to express requirements that can only be partially satisfied. In order to expres...
172
click to vote
ECP
1997
Springer
15 years 10 months ago
1997
Springer
In 1969 Cordell Green presented his seminal description of planning as theorem proving with the situation calculus. The most pleasing feature of Green's account was the negli...
173
click to vote
FM
1997
Springer
15 years 10 months ago
1997
Springer
Abstract Set boolean operations between 2-dlmensional geometric objects are crucial in computational geometry and deserve rigorous treatments. We build up a simple and convergent s...