Sciweavers

8623 search results - page 323 / 1725
» Software engineering for secure systems
Sort
View
ACSAC
1999
IEEE
15 years 11 months ago
Trustworthy Access Control with Untrustworthy Web Servers
If sensitive information is to be included in a shared web, access controls will be required. However, the complex software needed to provide a web service is prone to failure. To...
Tim Wilkinson, Dave Hearn, Simon R. Wiseman
CODES
2003
IEEE
16 years 2 days ago
Extending the SystemC synthesis subset by object-oriented features
In this article we present an approach to object-oriented hardware design and synthesis based on SystemC. We will
Eike Grimpe, Frank Oppenheimer
SELMAS
2004
Springer
16 years 3 days ago
Composition of a New Process to Meet Agile Needs Using Method Engineering
The need of developing a new software engineering process (SEP) that could allow the quick prototyping of some robotic applications and meet the requests coming from some companie...
Massimo Cossentino, Valeria Seidita
CBSE
2006
Springer
15 years 10 months ago
A Component Model Engineered with Components and Aspects
This paper presents AOKell, a framework for engineering component-based systems. This framework implements the Fractal model, a hierarchical and dynamic component model. The novelt...
Lionel Seinturier, Nicolas Pessemier, Laurence Duc...
HASE
1998
IEEE
15 years 11 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan