1604 search results - page 292 / 321 » Development Separation in Lambda-Calculus |
DDEP
2000
Springer
14 years 32 min ago
2000
Springer
Abstract. Notations like SGML and XML represent document structures using tree structures; while this is in general a step forward from earlier systems, it creates certain difficul...
SIGGRAPH
1999
ACM
13 years 12 months ago
1999
ACM
A multi-color dithering algorithm is proposed, which converts a barycentric combination of color intensities into a multi-color nonoverlapping surface coverage. Multi-color dither...
SIGUCCS
1999
ACM
13 years 12 months ago
1999
ACM
One result of the action of Moore’s Law, the doubling of IT (Information Technology) power every 18 months, is a widening gap in the understanding of this technology between tho...
ELPUB
1998
ACM
13 years 12 months ago
1998
ACM
The content and structure of an electronically published document can be authored and processed in ways that allow for flexibility in presentation on different environments for di...
MAS
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. Many programming languages have been developed and implemented for mobile code environments. They are typically quite expressive. But while security is an important aspec...