1742 search results - page 92 / 349 » An Applicative Module Calculus |
155
click to vote
LCPC
2001
Springer
15 years 10 months ago
2001
Springer
Component architectures promote cross-project code reuse by facilitating composition of large applications using off-the-shelf software components. Existing component architecture...
135
click to vote
ICSM
1999
IEEE
15 years 10 months ago
1999
IEEE
The FermaT transformation system, based on research carried out over the last twelve years at Durham University and Software Migrations Ltd., is an industrial-strength formal tran...
207
click to vote
EICS
2009
ACM
15 years 4 months ago
2009
ACM
Modularization is almost the only feasible way of implementing large-scale applications. For user interfaces, interactions involving more than one module generate dependencies bet...
151
click to vote
CODES
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper presents a complete codesign environment for embedded systems which combines automatic partitioning with reuse from a module database. Special emphasis has been put on ...
132
click to vote
EUROS
2006
15 years 9 months ago
2006
In this paper a multi-agent system architecture for a modular mobility enhancement system is presented. The system consists of one or multiple mobile robotic platforms and a set o...