3166 search results - page 291 / 634 » Translation By Structural Correspondences |
207
click to vote
I3E
2001
15 years 8 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
154
click to vote
ANLP
1997
15 years 8 months ago
1997
We focus on the probleln of building large repositories of le.rical coJtceplual structure (LCS) representations for verbs in multiple languages. One of the main results of this wo...
157
click to vote
WSC
2000
15 years 8 months ago
2000
Researchers at the National Institute of Standards and Technology have proposed the development of neutral libraries of simulation components. The availability of such libraries w...
115
click to vote
COLING
1996
15 years 8 months ago
1996
This paper tbeuses on two disparate asI)e(:ts of German syntax from the perspeetive of paral]eJ grammar developmenl;. As part of a eOOl)erative project, we present an innovative a...
169
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The ...