3879 search results - page 518 / 776 » PyPBS design and methodologies |
147
click to vote
ISSAC
2007
Springer
16 years 23 days ago
2007
Springer
Approximate symbolic computation problems can be formulated as constrained or unconstrained optimization problems, for example: GCD [3, 8, 12, 13, 23], factorization [5, 10], and ...
178
click to vote
KES
2007
Springer
16 years 23 days ago
2007
Springer
This paper is based on the idea of integrating the actual cognitive features of novice users at the core of the design process of the software applications in order to significantl...
149
click to vote
MODELS
2007
Springer
16 years 23 days ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
192
click to vote
APSEC
2005
IEEE
16 years 7 days ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...
163
click to vote
COMPSAC
2005
IEEE
16 years 7 days ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...