7124 search results - page 857 / 1425 » Programming Languages and Operating Systems |
172
click to vote
IISWC
2008
IEEE
16 years 1 months ago
2008
IEEE
—A whiteboard that automatically identifies drawn strokes, interprets them in context, and augments drawn images with computational results, such as solutions to mathematical eq...
209
click to vote
IWIA
2005
IEEE
16 years 15 days ago
2005
IEEE
A system for enforcing messaging security policies for both store and forward and streaming messaging protocols on COTS operating system platforms is described. Messaging protocol...
201
click to vote
IFL
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
228
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
175
click to vote
COMPSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
Understanding and maintaining legacy COBOL systems are still a challenging task for both academic research and industry practice. With the development of aspect-oriented software ...