3819 search results - page 482 / 764 » An Outsourcing Model of Software Development |
249
click to vote
JHSN
2006
15 years 7 months ago
2006
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard ...
166
click to vote
ENTCS
2002
15 years 7 months ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
191
click to vote
FMCO
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
165
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...
231
click to vote
ICAC
2008
IEEE
16 years 1 months ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...