1895 search results - page 321 / 379 » Using ATL for Checking Models |
99
Voted
ACL
2010
14 years 10 months ago
2010
This paper proposes a dependency parsing method that uses bilingual constraints to improve the accuracy of parsing bilingual texts (bitexts). In our method, a targetside tree frag...
92
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
This paper shows how software engineering technologies used to define and analyze complex software systems can also be effective in detecting defects in human-intensive processes ...
84
Voted
WWW
2003
ACM
16 years 1 months ago
2003
ACM
This paper focuses on the optimization of the navigation through voluminous subsumption hierarchies of topics employed by Portal Catalogs like Netscape Open Directory (ODP). We ad...
83
Voted
ICSE
2007
IEEE-ACM
16 years 20 days ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
106
click to vote
ICSE
2008
IEEE-ACM
16 years 20 days ago
2008
IEEE-ACM
This paper examines the suitability and use of runtime verification as means for monitoring security protocols and their properties. In particular, we employ the runtime verificat...