3713 search results - page 581 / 743 » Constructing a Calculus of Programs |
76
Voted
IFIPTM
2010
14 years 8 months ago
2010
Abstract. Language-based information-flow security is concerned with specifying and enforcing security policies for information flow via language constructs. Although much progre...
70
Voted
IJKESDP
2010
14 years 8 months ago
2010
— In this paper, several portfolio selection problems with normal mixture distributions including fuzziness are proposed. Until now, many researchers have proposed portfolio mode...
129
Voted
IWPC
2010
IEEE
14 years 8 months ago
2010
IEEE
—A tool supporting the automatic identification of programming idioms specific to the construction of C++ generic libraries is presented. The goal is to assist developers in unde...
99
Voted
JOT
2010
14 years 8 months ago
2010
Abstract We propose a novel testing technique for object-oriented programs. Based on the state and activity models of a system, we construct an intermediate representation, which w...
76
Voted
TCBB
2010
14 years 8 months ago
2010
—Models of regulatory networks become more difficult to construct and understand as they grow in size and complexity. Large models are usually built up from smaller models, repre...