4211 search results - page 320 / 843 » A formal approach to MASQ |
156
click to vote
ICFCA
2004
Springer
16 years 5 days ago
2004
Springer
The transfer of tacit knowledge is important in ensuring that an organisations most valuable assets do not walk out the door. While much controversy surrounds the definition of ta...
176
click to vote
ICFEM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
160
click to vote
UML
2004
Springer
16 years 4 days ago
2004
Springer
The description of software architectures has always been concerned with the definition of the appropriate languages for designing the various architectural artifacts. Over the pa...
152
click to vote
CVPR
2010
IEEE
16 years 4 days ago
2010
IEEE
The phenomenon of visual curve completion, where the visual system completes the missing part (e.g., due to occlusion) between two contour fragments, is a major problem in percept...
204
click to vote
FM
2003
Springer
16 years 7 hour ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...