4401 search results - page 262 / 881 » Computing with Default Logic |
141
click to vote
CONCUR
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
132
click to vote
CHI
1996
ACM
15 years 9 months ago
1996
ACM
A new input unit for mobile devices is discussed. High speed text input through touch typing and mouse data input is possible through an SHK: Single Hand Key card, "castanets...
190
click to vote
PODC
1994
ACM
15 years 9 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
252
Voted
FOCI
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents the geometric defuzzifier for generalised type-2 fuzzy sets. This defuzzifier can be executed in real-time and can therefore be applied to control and other rea...
152
click to vote
FPL
2000
Springer
15 years 9 months ago
2000
Springer
abstract the dynamic nature of a computation to embedded data memory (which is accessible on-chip). The dynamic nature of a computation corresponds to the dynamic features of its i...