5639 search results - page 264 / 1128 » Timed Abstract Non-interference |
167
click to vote
WADT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
162
click to vote
ICS
1998
Tsinghua U.
15 years 10 months ago
1998
Tsinghua U.
Abstract Barrier synchronizations can be very expensive on multiprogramming environment because no process can go past a barrier until all the processes have arrived. If a process ...
155
click to vote
ICDE
1993
IEEE
15 years 10 months ago
1993
IEEE
This paper presents four implementations for support of large objects in POSTGRES. The four implementations offer varying levels of support for security, transactions, compression...
160
click to vote
DSD
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper addresses the design issue of System-onelevating the design abstraction levels, through a model-driven approach. It considers the standard Marte profile, which is dedic...
171
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The token flow semantics of UML 2 activity diagrams is formally defined using Abstract State Machines. Interruptible activity regions and multiplicity bounds for pins are...