3931 search results - page 352 / 787 » Separation logic and abstraction |
162
click to vote
GPCE
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Design patterns have been a useful tool for a better understanding of the collaboration between several classes and objects in a program. One drawback of this approach is...
179
Voted
ICCS
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. This paper introduces a model for simulating regulatory networks that is capable of reproducing spatial and temporal expression patterns in developmental processes. The m...
163
click to vote
MMMACNS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
125
Voted
DATE
1998
IEEE
15 years 11 months ago
1998
IEEE
A formal definition of the general VHDLAMS analogue system has been proposed to relate the way in which the language affects the specification of a non-linear discontinuous analog...
182
click to vote
TACAS
1999
Springer
15 years 11 months ago
1999
Springer
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...