1054 search results - page 132 / 211 » Translation Validation of System Abstractions |
184
click to vote
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...
169
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. While processor based systems often enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reconfigurable har...
160
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...
180
click to vote
ICFEM
2009
Springer
16 years 26 days ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
155
click to vote
TAOSD
2010
15 years 4 months ago
2010
Abstract. The aim of this paper is to explore the modeling of crosscutavioral abstractions. We argue that behavioral aspects can be a particular kind of more general behavioral abs...