5084 search results - page 102 / 1017 » Proving Possibility Properties |
135
click to vote
CSL
2003
Springer
15 years 10 months ago
2003
Springer
The semantics of class-based languages can be defined in terms of objects only [8, 7, 1] if classes are viewed as objects with a constructor method. One obtains a store in which m...
161
click to vote
EUROCRYPT
2003
Springer
15 years 10 months ago
2003
Springer
Perfectly secret message transmission can be realized with only partially secret and weakly correlated information shared by the parties as soon as this information allows for the ...
141
click to vote
CSL
1999
Springer
15 years 9 months ago
1999
Springer
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...
132
click to vote
FPL
1999
Springer
15 years 9 months ago
1999
Springer
Programmable logic is widely used, for applications ranging from eld-upgradable subsystems to advanced uses such as recon gurable computing platforms which are modi able at run-tim...
158
click to vote
EURASIP
1990
15 years 9 months ago
1990
Inversionof multilayersynchronous networks is a method which tries to answer questions like What kind of input will give a desired output?" or Is it possible to get a desired...