2602 search results - page 383 / 521 » Semantic Analysis of 'to' |
CCS
1998
ACM
14 years 2 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
GROUP
1997
ACM
14 years 2 months ago
1997
ACM
In this paper, we present a cooperativehypermediabased process support system aimed on
exible business processes. An analysis of the communication, coordination and cooperation r...
ICSM
1996
IEEE
14 years 2 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
CSCW
1992
ACM
14 years 2 months ago
1992
ACM
Our work focuses on providing computational support for informal communication among people who are geographically separated. To better understand the use of artifacts in communic...
VLDB
1992
ACM
14 years 2 months ago
1992
ACM
The retrieval process in image database systems is inherently different from the retrieval processin traditional (recordoriented)databasesystems.While thelatter canbe consideredan...