1895 search results - page 294 / 379 » Using ATL for Checking Models |
131
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...
108
click to vote
JSS
2010
15 years 27 days 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...
117
Voted
ICMLC
2010
Springer
15 years 13 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...
227
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...
121
click to vote
WSC
1998
15 years 3 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...