2935 search results - page 9 / 587 » An Integrated Approach to High Integrity Software Verificati... |
150
Voted
TASE
2008
IEEE
15 years 3 months ago
2008
IEEE
This paper considers a matrix-based discrete event control approach for a warehouse. The control system is organized in two modules: a dynamic model and a controller. The model pro...
152
Voted
CSB
2005
IEEE
15 years 9 months ago
2005
IEEE
Scientists face an ever-increasing challenge in investigating biological systems with high throughput experimental methods such as mass spectrometry and gene arrays because of the...
150
Voted
JPDC
2006
15 years 3 months ago
2006
Secure processor architectures enable new sets of applications such as commercial grid computing, software copy protection and secure mobile agents by providing secure computing e...
95
Voted
JISE
2000
15 years 3 months ago
2000
140
Voted
WETICE
2005
IEEE
15 years 9 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...