20126 search results - page 209 / 4026 » Timed Transition Systems |
171
click to vote
FTRTFT
2000
Springer
15 years 10 months ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
175
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Classical verification often uses abstraction when dealing with data. On the other hand, dynamic XML-based applications have become pervasive, for instance with the ever growing im...
156
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—This paper proposes a systematic study of information flow in credential-based declarative authorization policies. It argues that a treatment in terms of information flow is n...
165
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
Microprocessors with built-in Liquid Crystal Device (LCD) controllers and equipped with Flash ROM are common in mobile computing applications. In the first part of the paper, a so...
148
click to vote
FOSSACS
2007
Springer
16 years 23 days ago
2007
Springer
Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of behavioural pseudometrics for probabilistic transition systems. These pseudometrics are a quantitative analogue ...