6201 search results - page 855 / 1241 » Implementation of Axiomatic Language |
159
click to vote
IFIP
2004
Springer
16 years 7 days ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
151
click to vote
IJCNLP
2004
Springer
16 years 7 days ago
2004
Springer
In this paper, we present a deterministic dependency structure analyzer for Chinese. This analyzer implements two algorithms – Yamada and Nivre models – and two sorts of class...
183
click to vote
ISCIS
2004
Springer
16 years 7 days ago
2004
Springer
System BV is an extension of multiplicative linear logic with a non-commutative self-dual operator. In this paper we present systems equivalent to system BV where equalities for un...
170
click to vote
LCTRTS
2004
Springer
16 years 7 days ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
207
Voted
MATA
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Intrusion detection systems are quickly becoming a standard requirement in building a network security infrastructure. Although many established techniques and commercial...