11973 search results - page 429 / 2395 » Methods for organizational development |
212
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
189
click to vote
ADAEUROPE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present an approach for enhancing dependability of component-based software. Functionality related to security, safety and reliability is encapsulated in specific com...
203
Voted
WEA
2007
Springer
16 years 29 days ago
2007
Springer
Algorithms for route planning in transportation networks have recently undergone a rapid development, leading to methods that are up to one million times faster than Dijkstra’s a...
145
click to vote
DATE
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper briefly describes the picoArrayTM architecture, and in particular the deterministic internal communication fabric. The methods that have been developed for debugging a...
197
click to vote
ISNN
2005
Springer
16 years 11 days ago
2005
Springer
The assessment of aircraft noise is becoming an increasingly important task in ensuring sustainable airport development. Aircraft noise is influenced by many complex factors and tr...