10241 search results - page 1522 / 2049 » Goal-Driven Software Development |
142
click to vote
FSTTCS
2007
Springer
16 years 9 days ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...
175
click to vote
GECCO
2007
Springer
16 years 9 days ago
2007
Springer
This paper reviews the development of an interactive evolutionary design system (IEDS) for conceptual design, which integrates an agent based ‘build and evolve’ approach with ...
133
click to vote
HPCC
2007
Springer
16 years 9 days ago
2007
Springer
RWAPI is a low-level communication interface designed for clusters of PCs. It has been developed to provide performance to higher applications on a wide variety of architectures. W...
146
click to vote
ICFEM
2007
Springer
16 years 9 days ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
172
click to vote
ISSAC
2007
Springer
16 years 9 days ago
2007
Springer
We report on a high-level categorical parallel framework, written in the Aldor language, to support high-performance computer algebra on symmetric multi-processors and multicore p...