5639 search results - page 340 / 1128 » Timed Abstract Non-interference |
151
click to vote
SAC
2003
ACM
15 years 9 months ago
2003
ACM
A fundamental issue in the engineering of coordination models is n coordination abstractions that are correct with respect to the specification of the coordination model they imp...
137
Voted
KR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract argumentation frameworks have received a lot of interest in recent years. Most computational problems in this area are intractable but several tractable fragments have be...
107
click to vote
EUROPAR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We describe a general component software framework designed for demanding grid environments that provides optimal performance for the assembled component application. Thi...
130
click to vote
VLSID
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...
132
Voted
ESOP
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and retu...