13 search results - page 3 / 3 » Lessons from Using Basic LOTOS |
HICSS
2003
IEEE
14 years 20 days ago
2003
IEEE
This paper provides descriptive research about a successful collaborative vision development process undertaken for a regional United Way. The entire process from learning about t...
OSDI
2000
ACM
13 years 8 months ago
2000
ACM
Single-language runtime systems, in the form of Java virtual machines, are widely deployed platforms for executing untrusted mobile code. These runtimes provide some of the featur...
LICS
2002
IEEE
14 years 9 days ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...