2282 search results - page 189 / 457 » Active property checking |
156
click to vote
BIOCOMP
2008
15 years 6 months ago
2008
Computational analyses of protein structure-function relationships have traditionally been based on sequence homology, fold family analysis and 3D motifs/templates. Previous struct...
123
click to vote
DAM
1998
15 years 4 months ago
1998
We study a discrete problem of scheduling activities of several types under the constraint that at most a single activity can be scheduled to any one period. Applications of such ...
145
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
148
click to vote
FMICS
2009
Springer
15 years 11 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
130
click to vote
FORMATS
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we focus on the synthesis of secure timed systems which are given by timed automata. The security property that the system must satisfy is a non-interference propert...