8083 search results - page 303 / 1617 » A Formalization of Software Architecture |
151
click to vote
ASPLOS
2006
ACM
16 years 19 days ago
2006
ACM
Current taint checking architectures monitor tainted data usage mainly with control transfer instructions. An alarm is raised once the program counter becomes tainted. However, su...
150
click to vote
ICDCSW
2005
IEEE
16 years 8 days ago
2005
IEEE
We describe the goals and architecture of a new framework that aims at facilitating the deployment of adaptation services running on intermediate edge servers. The main goal is to...
191
click to vote
DAC
1996
ACM
15 years 10 months ago
1996
ACM
In this paper, we describe a system design methodology for the concurrent development of hybrid software/hardware systems for telecom network applications. This methodology is bas...
160
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—Since the foundation of AUTomotive Open System ARchitecture (AUTOSAR), the AUTOSAR Core Partners and more than 65 Premium and Development Members have been working on the standa...
179
click to vote
SEFM
2005
IEEE
16 years 7 days ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...