899 search results - page 97 / 180 » A CTL-Based Logic for Program Abstractions |
103
Voted
POPL
1995
ACM
15 years 4 months ago
1995
ACM
d Abstract) We extend the model of [VRV94] to express strong time-outs (and pre-emption): if an event A does not happen through time t, cause event B to happen at time t. Such con...
114
click to vote
TPHOL
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
103
click to vote
CORR
2010
Springer
15 years 3 days ago
2010
Springer
Abstract. The paper investigates a novel approach, based on Constraint Logic Programming (CLP), to predict the 3D conformation of a protein via fragments assembly. The fragments ar...
113
Voted
SCP
2010
14 years 11 months ago
2010
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
114
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...