2004 search results - page 251 / 401 » Comparison of Model Checking Tools for Information Systems |
156
click to vote
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
199
click to vote
ECOOP
2000
Springer
15 years 9 months ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
126
click to vote
NAACL
2010
15 years 2 months ago
2010
With the increase in popularity of online review sites comes a corresponding need for tools capable of extracting the information most important to the user from the plain text da...
155
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
128
Voted
CISS
2007
IEEE
15 years 11 months ago
2007
IEEE
— In block-fading transmission, the discrete-time taps of time-varying channels can be generally modelled as a stationary random vector process with unknown and rank-deficient c...