9264 search results - page 1169 / 1853 » Space Between Languages |
184
click to vote
PADL
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
242
click to vote
UML
2001
Springer
15 years 12 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
208
click to vote
IWPC
2000
IEEE
15 years 12 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...
181
click to vote
TOOLS
2000
IEEE
15 years 12 months ago
2000
IEEE
In this experience report we present a case study in designing, implementing, and reusing an object-oriented framework for constructing and editing complex search expressions over...
179
click to vote
TOOLS
2000
IEEE
15 years 12 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...