Sciweavers

5407 search results - page 220 / 1082
» The Software Engineering Global Model
Sort
View
COMPSAC
2000
IEEE
15 years 8 months ago
Chinese Wall Security Model and Conflict Analysis
Brewer and Nash, and immediately updated by this author, introduced Chinese Wall security policy models for commercial security. Applying Pawlak's idea of conflict analysis, ...
Tsau Young Lin
ATAL
2009
Springer
15 years 10 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...
157
Voted
TSE
2010
132views more  TSE 2010»
14 years 10 months ago
ASCENT: An Algorithmic Technique for Designing Hardware and Software in Tandem
Search-based software engineering is an emerging paradigm that uses automated search algorithms to help designers iteratively find solutions to complicated design problems. For exa...
Jules White, Brian Doughtery, Douglas C. Schmidt
GCSE
2001
Springer
15 years 8 months ago
Components, Interfaces and Information Models within a Platform Architecture
In this paper we describe our experiences with the development of a platform in the medical imaging domain. Three important ingredients of this platform are components, interfaces...
Jan Gerben Wijnstra
CODES
1999
IEEE
15 years 8 months ago
A unified formal model of ISA and FSMD
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
Jianwen Zhu, Daniel Gajski