Timestamping services are used to prove that a data item existed at given point in time. This proof is represented by timestamp token created timestamping authority. ISO/ IEC 18014 specifies and requires them hold the following two properties: (1) The being timestamped not disclosed authority; hash values of provided authority instead. (2) A can be renewed; as result, validity duration restrict...

In our Formalin project to formalize C11 (the ANSI/ISO standard of the C programming language) we discovered many subtleties that make formalization of this standard difficult. We discuss some of these subtleties and indicate how they may be addressed in a formal C semantics. Furthermore, we argue that the C standard does not allow Turing complete implementations, and that its evaluation semant...

This paper presents the DialogBank, a new language resource consisting of dialogues with gold standard annotations according to the ISO 24617-2 standard. Some of these dialogues have been taken from existing corpora and have been re-annotated according to the ISO standard; others have been annotated directly according to the standard. The ISO 24617-2 annotations have been designed according to ...