3679 search results - page 586 / 736 » Hybrid Semantic Analysis |
147
click to vote
STACS
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents a completeness result for a first-order interval temporal logic, called Neighbourhood Logic (NL) which has two neighbourhood modalities. NL can support the spe...
172
click to vote
CCS
1998
ACM
15 years 10 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...
161
click to vote
GROUP
1997
ACM
15 years 10 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...
164
click to vote
ICSM
1996
IEEE
15 years 10 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...
160
click to vote
CSCW
1992
ACM
15 years 10 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...