ICCS
1995
Springer
14 years 7 days ago
1995
Springer
ICCS
1995
Springer
14 years 7 days ago
1995
Springer
Thenotion of context is indispensable in discussions of meaning,but the wordcontext has often beenusedin conflicting senses. In logic, the first representation of contextas a forma...
GROUP
1995
ACM
14 years 7 days ago
1995
ACM
Software and Information Systems (IS) documents are a common product of large IS development e orts. These documents are produced and consumed through a variety of documentation p...
FCT
1995
Springer
14 years 7 days ago
1995
Springer
The concatenable processes of a Petri net N can be characterized ly as the arrows of a symmetric monoidal category P[N]. Yet, this is only a partial axiomatization, since P[N] is b...
FCT
1995
Springer
14 years 7 days ago
1995
Springer
The synchronization of two or more semi-traces describes the possible evaluation of a concurrent system, which consists of two or more concurrent subsystems in a modular way, where...
FCT
1995
Springer
14 years 7 days ago
1995
Springer
Abstract. We present algorithms for maintaining shortest path information in dynamic outerplanar digraphs with sublogarithmic query time. By choosing appropriate parameters we achi...
FCT
1995
Springer
14 years 7 days ago
1995
Springer
FCT
1995
Springer
14 years 7 days ago
1995
Springer
ICCS
1997
Springer
14 years 7 days ago
1997
Springer
: The need for analysis and modeling of knowledge has been espoused by many researchers as a prerequisite to building knowledge based systems (KBS). This approach has done little t...
UMC
2000
14 years 7 days ago
2000
