1604 search results - page 34 / 321 » Development Separation in Lambda-Calculus |
98
Voted
PARELEC
2002
IEEE
15 years 6 months 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...
92
Voted
DATASCIENCE
2002
15 years 25 days 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...
127
Voted
CLOUD
2010
ACM
15 years 6 months 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
15 years 7 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...
116
Voted
EDOC
2003
IEEE
15 years 6 months 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...