2935 search results - page 9 / 587 » An Integrated Approach to High Integrity Software Verificati... |
TASE
2008
IEEE
13 years 7 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...
CSB
2005
IEEE
14 years 22 days 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...
JPDC
2006
13 years 7 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...
WETICE
2005
IEEE
14 years 21 days 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...