2056 search results - page 155 / 412 » Software Architectural Design Meets Security Engineering |
138
click to vote
SIGSOFT
2003
ACM
16 years 5 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
126
click to vote
WORDS
2003
IEEE
15 years 9 months ago
2003
IEEE
The ’Distributed Control Lab’ [6] at Hasso-PlattnerInstitute, University of Potsdam allows experimentation with a variety of physical equipment via the web (intra and internet...
130
click to vote
ARCS
2006
Springer
15 years 8 months ago
2006
Springer
: The Open Reflective Component Architecture (ORCAN) is a component based software platform for Simulation software. It enables to build applications out of runtime exchangeable co...
148
click to vote
DAC
2005
ACM
15 years 6 months ago
2005
ACM
This paper focuses on designing network processing software for embedded processors. Our design flow CRACC represents an efficient path to implementation based on a modular applic...
117
click to vote
SOSYM
2008
15 years 4 months ago
2008
Amodelisasimplifiedrepresentationofanaspect of the world for a specific purpose. In complex systems, many aspects are to be handled, from architectural aspects to dynamic behavior,...