525 resultados para Computer software -- Verification

Studying design : an interpretive and empirical investigation of design activity at differing levels of granularity

Relevância:

80.00% 80.00%

Publicador:

Veja mais

JPG : a partial bitstream generation tool to support partial reconfiguration in Virtex FPGAs

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Secure location services: Vulnerability analysis and provision of security in location systems

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Proceedings of the 2003 APRS Workshop on Digital Image Computing

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Workshop proceedings: Approaches to Movement-Based Interaction (W9) - Workshop held in Conjunction with Critical Computing 2005 Between Sense and Sensibility, The Fourth Decennial Aarhus Conference in Aarhus, Denmark, 20th-24th August 2005

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Computing: The Australasian Theory Symposium

Relevância:

80.00% 80.00%

Publicador:

Veja mais

FME2002: Formal Methods - Getting IT Right

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Recent Advances in Artifical Life

Relevância:

80.00% 80.00%

Publicador:

Veja mais

FM2005: Formal Methods

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Integrated Formal Methods

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Digital Image Computing: Techniques and Applications (DICTA 2005)

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Australian Conference on Robotics and Automation 2003

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Proceedings of the Eighth Australian and New Zealand Intelligent Information Systems Conference

Relevância:

80.00% 80.00%

Publicador:

Resumo:

These are the full proceedings of the conference.

Veja mais

Integrated Formal Methods

Relevância:

80.00% 80.00%

Publicador:

Veja mais

Proceedings of the Apple University Consortium Conference

Relevância:

80.00% 80.00%

Publicador:

Veja mais