1604 search results - page 56 / 321 » Development Separation in Lambda-Calculus |
PDP
2003
IEEE
14 years 1 months ago
2003
IEEE
Coupling grid applications developed by different teams requires code modification and high S/W engineering effort. In the Ensemble methodology message passing components are deve...
COMPSAC
1998
IEEE
13 years 12 months ago
1998
IEEE
Realizing a shift of software engineering towards a component-based approach to software development requires the development of higher level programming systems supporting the de...
HICSS
1998
IEEE
13 years 12 months ago
1998
IEEE
Secure system design, veri cation and validation is often a daunting task, involving the merger of various protection mechanisms in conjunction with system security policy and con...
ETS
2002
IEEE
13 years 7 months ago
2002
IEEE
At the University of the South Pacific, a regional university serving twelve Pacific island nations, pressures for using technology and the rapid rate of technological change are ...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
Modern applications are designed in multiple tiers to separate concerns. Since each tier may run at a separate location, middleware is required to mediate access between tiers. Ho...