2362 search results - page 375 / 473 » Programming in Standard ML |
148
Voted
SIGCSE
2003
ACM
15 years 8 months ago
2003
ACM
Computer graphics forms an important part of a working scientist’s tools. This may be provided by resources with the scientist’s group or by capabilities of the toolkits that ...
122
click to vote
SIGUCCS
2003
ACM
15 years 8 months ago
2003
ACM
This paper intends to present the challenges and opportunities encountered in technology training at small institutions using Trinity University as a case in point. During the cou...
134
click to vote
SOFTVIS
2003
ACM
15 years 8 months ago
2003
ACM
UML diagrams have become increasingly important in the engineering and reengineering processes for software systems. Of particular interest are UML class diagrams whose purpose is...
133
Voted
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Bounded fairness is a stronger notion than ordinary eventuality-based fairness, one that guarantees occurrence of an event within a fixed number of occurrences of anothe...
143
Voted
CCS
2003
ACM
15 years 8 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...