2625 search results - page 404 / 525 » The development of the Emerald programming language |
128
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
147
click to vote
IWPC
2000
IEEE
15 years 9 months ago
2000
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual page...
116
click to vote
TOOLS
2000
IEEE
15 years 9 months ago
2000
IEEE
The standard CORBA operation invocation model supports synchronous, one-way, and deferred synchronous interactions between clients and servers. However, this model is too restrict...
183
click to vote
PLDI
2000
ACM
15 years 9 months ago
2000
ACM
Increasing focus on multimedia applications has prompted the addition of multimedia extensions to most existing general purpose microprocessors. This added functionality comes pri...
129
click to vote
BIRTHDAY
2000
Springer
15 years 9 months ago
2000
Springer
The Oberon programming language and system, subsequently called the Oberon technology, are well known in the software research community. Few applications, however, exist outside ...