Sciweavers

6106 search results - page 379 / 1222
» Modes for Software Architectures
Sort
View
FM
2008
Springer
130views Formal Methods» more  FM 2008»
15 years 8 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...
SERP
2004
15 years 8 months ago
COTS-Aware Requirements Engineering and Software Architecting
At the heart of a well-disciplined, systematic methodology that explicitly supports the use of COTS components is a clearly defined process for effectively using components that m...
Lawrence Chung, Kendra Cooper
FPL
2010
Springer
146views Hardware» more  FPL 2010»
15 years 4 months ago
Software Managed Distributed Memories in MPPAs
When utilizing reconfigurable hardware there are many applications that will require more memory than is available in a single hardware block. While FPGAs have tools and mechanisms...
Robin Panda, Jimmy Xu, Scott Hauck
ISOLA
2010
Springer
15 years 4 months ago
Design Choices for High-Confidence Distributed Real-Time Software
Safety-critical distributed real-time systems, such as networked medical devices, must operate according to their specification, because incorrect behaviour can have fatal conseque...
Sebastian Fischmeister, Akramul Azim
EWSA
2006
Springer
15 years 10 months ago
On the Modular Representation of Architectural Aspects
An architectural aspect is a concern that cuts across architecture ty units and cannot be effectively modularized using the given abstractions of conventional Architecture Descript...
Alessandro Garcia, Christina Chavez, Thaís ...