Search Sciweavers | Sciweavers

1216 search results - page 16 / 244

» Translation analysis and translation automation

click to vote

DSN
2002
IEEE

137views Computer Networks» more DSN 2002»

Performability Analysis of Guarded-Operation Duration: A Successive Model-Translation Approach

14 years 23 days ago

Download www.ia-tech.com

When making an engineering design decision, it is often necessary to consider its implications on both system performance and dependability. In this paper, we present a performabi...

Ann T. Tai, William H. Sanders, Leon Alkalai, Savi...

claim paper

Read More »

click to vote

TIME
2005
IEEE

103views Automated Reasoning» more TIME 2005»

A Trace Semantics for Positive Core XPath

14 years 1 months ago

Download eprints.eemcs.utwente.nl

— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...

Pieter H. Hartel

claim paper

Read More »

click to vote

ARTS
1999
Springer

221views Distributed And Parallel Com...» more ARTS 1999»

Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover

14 years 2 days ago

Download people.nas.nasa.gov

This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...

Paul Z. Kolano

claim paper

Read More »

click to vote

EACL
2009
ACL Anthology

131views Natural Language Processing» more EACL 2009»

Data-Driven Semantic Analysis for Multilingual WSD and Lexical Selection in Translation

14 years 8 months ago