647 search results - page 80 / 130 » Collage, composites, construction |
125
click to vote
CSFW
2000
IEEE
15 years 2 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
ACMDIS
2000
ACM
15 years 2 months ago
2000
ACM
The development of navigational tools for a web site devoted to a catalog of musical compositions offers a variety of design challenges. A combination of techniques developed from...
ICFP
1996
ACM
15 years 1 months ago
1996
ACM
Concurrent ML (CML) is an extension of Standard ML of New Jersey with concurrent features similar to those of process algebra. In this paper, we build upon John Reppy's reduc...
CEC
2007
IEEE
15 years 1 months ago
2007
IEEE
This paper proposes a novel hybrid GA/SVM method that can predict the interactions between proteins intermediated by the protein-domain relations. Firstly, we represented a protein...
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We consider the verification of parameterized Boolean proabstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such prog...