328 search results - page 41 / 66 » Simple Termination Revisited |
SAS
2005
Springer
14 years 2 months ago
2005
Springer
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
A major feature of new mobiles terminals using penbased interfaces, such as personal assistants or e-book, is their personal character, implying that a good interface should be ea...
DAC
1999
ACM
14 years 1 months ago
1999
ACM
Distributed computing has taken a new importance in order to meet the requirements of users demanding information “anytime, anywhere.” Inferno facilitates the creation and sup...
KBSE
1999
IEEE
14 years 1 months ago
1999
IEEE
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
ICCAD
1996
IEEE
14 years 28 days ago
1996
IEEE
Although numerous methods have been proposed for interconnect simulation, no single model exists for all kind of transmission line problems. This paper presents a new, single, gen...