1895 search results - page 294 / 379 » Using ATL for Checking Models |
133
click to vote
FMSD
2002
15 years 2 months ago
2002
Combining verification methods developed separately for software and hardware is motivated by the industry's need for a technology that would make formal verification of reali...
112
Voted
JSS
2010
15 years 1 months ago
2010
The backbone of many software architectures and component integration frameworks is an architectural style that provides a domain-specific design vocabulary and a set of constrai...
119
Voted
ICMLC
2010
Springer
15 years 17 days ago
2010
Springer
: In this paper, we propose a new approach to improve the translation quality by adding the Key-Words of a sentence to the parallel corpus. The main idea of the approach is to find...
228
Voted
CADE
2011
Springer
14 years 2 months ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...
122
click to vote
WSC
1998
15 years 4 months ago
1998
The fast growth in airline passenger traffic combined with the slow growth in airport capacity worldwide is putting a severe strain on the capability of airlines to adapt their pr...