5407 search results - page 219 / 1082 » The Software Engineering Global Model |
123
click to vote
RE
2006
Springer
15 years 3 months ago
2006
Springer
Use-cases often capture the expected behaviors of a system and its components. During requirements analysis, it is important to understand and model the relationship among differe...
153
Voted
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...
126
Voted
SEKE
2004
Springer
15 years 9 months ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
159
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...
128
click to vote
ISPASS
2003
IEEE
15 years 9 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...