3706 search results - page 565 / 742 » The Transformational Approach to Program Development |
138
click to vote
MBEES
2010
15 years 28 days ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
151
Voted
PAMI
2011
14 years 5 months ago
2011
—Affine registration has a long and venerable history in computer vision literature, and in particular, extensive work has been done for affine registration in IR2 and IR3 . This...
129
click to vote
CADE
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
132
click to vote
ICSM
2009
IEEE
15 years 9 months ago
2009
IEEE
Mainstream IDEs such as Eclipse support developers in managing software projects mainly by offering static views of the source code. Such a static perspective neglects any informa...
110
click to vote
ACSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...