Sciweavers

757 search results - page 44 / 152
» Composing Security-Aware Software
Sort
View
129
Voted
ICSE
2009
IEEE-ACM
15 years 9 months ago
Towards safer composition
Determining whether a set of features can be composed, or safe composition, is a hard problem in software product line engineering because the number of feature combinations can b...
Andreas Classen, Patrick Heymans, Thein Than Tun, ...
132
Voted
ATAL
2009
Springer
15 years 9 months ago
agentTool III: from process definition to code generation
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...
Juan C. García-Ojeda, Scott A. DeLoach, Rob...
QSIC
2007
IEEE
15 years 8 months ago
Model Checking Security Pattern Compositions
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
Jing Dong, Tu Peng, Yajing Zhao
104
Voted
ICESS
2007
Springer
15 years 8 months ago
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
Gang Zhou, Man-Kit Leung, Edward A. Lee
CEEMAS
2005
Springer
15 years 8 months ago
Intelligent Virtual Environments for Training: An Agent-Based Approach
In this paper we propose an architecture for the development of Intelligent Virtual Environments for Training, which is based on a collection of cooperative software agents. The ï¬...
Angélica de Antonio, Jaime Ramírez, ...