1604 search results - page 34 / 321 » Development Separation in Lambda-Calculus |
PARELEC
2002
IEEE
14 years 17 days ago
2002
IEEE
Integration of P-GRADE with Condor and parallel check-pointing results in an environment under which both interactive parallel program development and batch mode execution is poss...
DATASCIENCE
2002
13 years 7 months ago
2002
The first Web-based version of the NIST X-ray Photoelectron Spectroscopy Database (XPSDB) is described. The current database, built from a relational database management system (R...
CLOUD
2010
ACM
14 years 22 days ago
2010
ACM
Over the last 10–15 years, our industry has developed and deployed many large-scale Internet services, from e-commerce to social networking sites, all facing common challenges i...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
—Software development for industrial robots is still strongly limited by the use of old-style robot programming languages. These languages are tailored to meet a special requirem...
EDOC
2003
IEEE
14 years 29 days ago
2003
IEEE
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...