4919 search results - page 198 / 984 » A Process-Ontological Model for Software Engineering |
155
Voted
COMPSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...
127
Voted
ISPASS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents a statistical model for explaining why skewed-associativity removes conflicts better than setassociativity. We show that, with a high probability, 2-way skewe...
120
Voted
SEFM
2003
IEEE
15 years 8 months ago
2003
IEEE
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
135
Voted
COMPSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
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, ...
140
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
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...