2935 search results - page 76 / 587 » An Integrated Approach to High Integrity Software Verificati... |
137
click to vote
SEKE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract—Business modeling for service engineering aims at flexible transformation of business logic into software code. The ISE framework is an interdisciplinary approach which...
152
click to vote
ACSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Emerging distributed computing architectures, such as grid and cloud computing, depend on the high integrity execution of each system in the computation. While integrity measuremen...
130
click to vote
LADS
2007
Springer
15 years 10 months ago
2007
Springer
This paper proposes a method of integrating two different concepts of belief in artificial intelligence: belief as a probability distribution and belief as a logical formula. The...
165
click to vote
ICECCS
2010
IEEE
15 years 4 months ago
2010
IEEE
—In this paper ongoing research for a PhD-thesis is presented. The objective of this thesis is to develop an approach for engineering quality requirements. Quality requirements a...
167
click to vote
ECBS
1999
IEEE
15 years 8 months ago
1999
IEEE
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...