4290 search results - page 290 / 858 » Formal Approaches to Teamwork |
176
click to vote
ICFEM
2004
Springer
16 years 6 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...
161
click to vote
UML
2004
Springer
16 years 5 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...
153
click to vote
CVPR
2010
IEEE
16 years 5 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...
207
click to vote
FM
2003
Springer
16 years 1 days 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...
192
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We propose an approach to many-valued contexts using formal descriptions instead of scaling. The underlying idea is the philosphical definition of a concept as a set of ...