3828 search results - page 275 / 766 » Proof-Based System Engineering Using a Virtual System Model |
159
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper attempts to evaluate the performance of an environmental mitigation banking system operating under different regulatory. Pricing and subsidization policies using system...
176
click to vote
SASO
2010
IEEE
15 years 4 months ago
2010
IEEE
Self-organising systems are a popular engineering concept for designing decentralised autonomic computing systems. They are able to find solutions in complex and versatile problem ...
172
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
187
click to vote
CASCON
1993
15 years 8 months ago
1993
There is a signi cant di erence between documentinglarge programs and documenting small ones. By large programs we mean on the order of 1,000,000 lines, usually written by many di...
191
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...