9018 search results - page 426 / 1804 » 3D-Brain Model Software |
202
click to vote
COMPSAC
2006
IEEE
16 years 27 days 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...
172
Voted
ISPASS
2003
IEEE
16 years 3 days 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...
162
click to vote
SEFM
2003
IEEE
16 years 3 days 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...
198
Voted
COMPSAC
2000
IEEE
15 years 11 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, ...
235
click to vote
MODELLIERUNG
2001
15 years 8 months ago
2001
: Scenarios/use cases have gained wide-spread use over the last couple of years. In software engineering they are mainly used to capture requirements and specify a system. Many sof...