3828 search results - page 546 / 766 » Proof-Based System Engineering Using a Virtual System Model |
158
click to vote
CLOUD
2010
ACM
15 years 11 months ago
2010
ACM
Hermes is an optimization engine for large-scale enterprise e-mail services. Such services could be hosted by a virtualized e-mail service provider, or by dedicated enterprise dat...
186
click to vote
MATES
2005
Springer
15 years 12 months ago
2005
Springer
Independent from specific application domains, similar requirements can be identified regarding information needs during daily work. For coping with generality on the one hand an...
155
click to vote
VAMOS
2007
Springer
16 years 17 days ago
2007
Springer
Variability modeling techniques are used to specify variable aspects of members of a family of related software artifacts. Instances of variability models are then used to effici...
188
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
159
click to vote
STEP
2005
IEEE
16 years 1 days ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...