1604 search results - page 75 / 321 » Development Separation in Lambda-Calculus |
87
Voted
DBPL
1991
Springer
15 years 4 months ago
1991
Springer
BULK is a very-high-level persistent programming language and environment for prototyping and implementing database applications. BULK provides sets and sequences as primitive typ...
101
click to vote
FASE
2008
Springer
15 years 2 months ago
2008
Springer
Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, can be dynamically publi...
EI
1998
15 years 2 months ago
1998
The traditional techniques of image capture, scanning, proofing, and separating do not take advantage of colorimetry and spectrophotometry. For critical color-matching application...
82
Voted
JUCS
2008
15 years 21 days ago
2008
: Nowadays, the complexity of software applications has brought new challenges to developers, having to deal with a large number of computational requirements. Among these requirem...
98
Voted
ICHIT
2009
Springer
15 years 7 months ago
2009
Springer
Middleware facilitates the development of distributed systems by accommodating heterogeneity, hiding distribution details and providing a set of common and domain specific service...