843 search results - page 78 / 169 » Codes and Projective Multisets |
ISOLA
2010
Springer
13 years 8 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Software developers have long known that project success requires a robust understanding of both technical and social linkages. However, research has largely considered these inde...
CVPR
2009
IEEE
14 years 7 months ago
2009
IEEE
Consider a projector-camera setup where a sinusoidal pattern is projected onto the scene, and an image of the objects imprinted with the pattern is captured by the camera. In this...
ICST
2009
IEEE
14 years 4 months ago
2009
IEEE
Automated static analysis can identify potential source code anomalies early in the software process that could lead to field failures. However, only a small portion of static ana...
CANDC
2009
ACM
14 years 4 months ago
2009
ACM
This paper introduces the idea of actualizing theory in the context of artistic practice. We describe the project BodyDaemon and its function as a technology-based artwork that is...