3706 search results - page 207 / 742 » The Transformational Approach to Program Development |
121
click to vote
4OR
2004
15 years 2 months ago
2004
This paper considers packing problems with balancing conditions and items consisting of clusters of parallelepipeds (mutually orthogonal, i.e. tetris-like items). This issue is qu...
130
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Distributed Constraint Optimization (DCOP) provides a rich framework for modeling multi-agent coordination problems. Existing problem domains for DCOP focus on small (<100 vari...
138
click to vote
EUROPAR
2009
Springer
15 years 9 months ago
2009
Springer
Porting on grids complex MPI applications involving collective communications requires significant program modification, usually dedicated to a single grid structure. The diffi...
126
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
115
click to vote
ECSA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper, we report on the development of a methodology for the evolution of software towards new architectures. In our approach, we represent source code as graphs....