1895 search results - page 239 / 379 » Using ATL for Checking Models |
188
click to vote
B
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
174
click to vote
ISW
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We present a universally composable time-stamping scheme based on universal one-way hash functions. The model we use contains an ideal auditing functionality (implementab...
191
click to vote
TPHOL
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
193
click to vote
DBPL
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
204
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
We introduce streaming tree transducers as an analyzable and expressive model for transforming hierarchically structured data in a single pass. Given a linear encoding of the inpu...