1604 search results - page 36 / 321 » Development Separation in Lambda-Calculus |
ICAS
2006
IEEE
14 years 1 months ago
2006
IEEE
Service-oriented grids are grid computing systems built with the notion of service-oriented architecture (SOA). Using two maract concepts, services and connections between service...
ACSC
2005
IEEE
14 years 1 months ago
2005
IEEE
Support for program understanding in development and maintenance tasks can be facilitated by program analysis techniques. Both control-flow and data-flow analysis can support pr...
ISMS
2004
Springer
14 years 1 months ago
2004
Springer
In this paper we propose an open source/open architecture framework for developing organ level surgical simulations. Our goal is to facilitate shared development of reusable models...
HICSS
2003
IEEE
14 years 29 days ago
2003
IEEE
Knowledge transfer among geographically separated members is recognized as a critical ingredient for collaborative accomplishment of knowledge work in virtual teams. However, due ...
HICSS
2000
IEEE
14 years 2 days ago
2000
IEEE
This paper presents work conducted towards the development of an effective software engineering-based methodology for integrity control in the process of spreadsheet development. ...