8627 search results - page 1683 / 1726 » Software Engineering Using RATionale |
99
Voted
UIST
2004
ACM
15 years 6 months ago
2004
ACM
Many applications provide a form-like interface for requesting information: the user fills in some fields, submits the form, and the application presents corresponding results. ...
100
Voted
FOSSACS
2004
Springer
15 years 6 months ago
2004
Springer
safeDpi is a distributed version of the Picalculus, in which processes are located at dynamically created sites. Parametrised code may be sent between sites using so-called ports, ...
141
click to vote
GSEM
2004
Springer
15 years 6 months ago
2004
Springer
Occam is a parallel processing language designed by a team at INMOS in conjunction with the design of the transputer processor, and based on Sir T. Hoare's ideas of Communica...
131
Voted
ICLP
2004
Springer
15 years 6 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
101
click to vote
PROFES
2004
Springer
15 years 5 months ago
2004
Springer
Environmental information systems (EIS) have been in professional use for quite a long time. Applications of this domain often include features of quite common location based servi...