2513 search results - page 361 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
CGO
2009
IEEE
15 years 5 months ago
2009
IEEE
—Register allocation is an important component of every compiler and numerous studies have investigated ways to improve allocation quality or reduce allocation time. However, tec...
FASE
2009
Springer
15 years 5 months ago
2009
Springer
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
74
Voted
TASE
2009
IEEE
15 years 5 months ago
2009
IEEE
Retrenchment is a framework that allows relatively unrestricted system evolution steps to be described in a way that gives an evolution step some formal content — unlike model b...
77
Voted
FSEN
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we study the interconnection between relationships and roles. We start from the patterns used to introduce relationships in object oriented languages. We show how th...
COMPSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...