5639 search results - page 476 / 1128 » Timed Abstract Non-interference |
151
Voted
ICFP
2000
ACM
15 years 9 months ago
2000
ACM
We review the close relationship between abstract machines for (call-by-name or call-by-value) λ-calculi (extended with Felleisen’s C) and sequent calculus, reintroducing on the...
147
click to vote
CODES
1999
IEEE
15 years 9 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
134
click to vote
ERSHOV
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
135
click to vote
KBSE
1998
IEEE
15 years 9 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
116
Voted
ICDCS
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Overlay network design for topic-based publish/subscribe systems is of primary importance because the overlay directly impacts the system’s performance. Determining a ...