4340 search results - page 436 / 868 » Formal Methods and Cryptography |
168
Voted
ISOLA
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
192
click to vote
POLICY
2004
Springer
16 years 5 days ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
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...
198
click to vote
VL
2003
IEEE
16 years 2 days ago
2003
IEEE
Constraint diagrams are a visual notation designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler cir...