Under model correctness, highly accurate inference on a scalar interest parameter in the presence of a nuisance parameter can be achieved by several routes, among them considering the bootstrap distribution of the signed root likelihood ratio statistic. The context of model mis-specification is considered and inference based on a robust form of the signed root statistic is discussed in detail. ...

The Open Provenance Model is a model of provenance that is designed to meet the following requirements: (1) Allow provenance information to be exchanged between systems, by means of a compatibility layer based on a sharedprovenancemodel. (2) Allowdevelopers to build and share tools that operate on such a provenancemodel. (3) Define provenance in a precise, technology-agnostic manner. (4) Suppor...

The recent usage control model (UCON) is a foundation for next generation access control models with distinguishing properties of decision continuity and attribute mutability. A usage control decision is determined by combining authorizations, obligations, and conditions, presented as UCONABC core models by Park and Sandhu. Based on these core aspects, we develop a firstorder logic specificatio...

This paper defines a shallow dialog analysis model for use in the context of human dialog processing applications. The present application concerns meeting recording, processing and retrieval. The model groups the following elements: dialog segmentation into utterances and episodes, detection of dialog acts and adjacency pairs, and detection of referring expressions, including named entities, a...

Abstract Data Types (ADTs) can be specified by the Classified Model (CM) specification language—a first-order Horn language with equality and sort “classification” assertions. Sort assertions generalize the traditional syntactic signatures of ADT specifications, resulting in all of the specification capability of traditional equational specifications, but with the improved expressibility of the...

Corporate software development faces very demanding challenges, especially concerning the design of user interfaces. Collaborative design with stakeholders demands modeling methods that everybody can understand and apply. But when using traditional, paper-based methods to gather and document requirements, an IT organization often experiences frustrating communication issues between the business...

The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexical, the syntactic and the semantic layer requiring semantic reasoning as well as low-level specification of adhoc conversions of data. Existing formalisms for representing translation rules cannot cover the representation needs...

We highlight the fact that careful consideration has to be given to the specification of the order of the hierarchy in hierarchical meta analysis. In practical applications, it can often be unclear as to which is the ‘correct’ way to specify these, and thus an arbitrary choice may be made when fitting the model. However, depending on how the model is specified, there may be important difference...

Specifiers must be able to understand and compare the specification notations that they use. Traditional means for describing notations’ semantics (e.g., operational semantics, logic, natural language) do not help users to identify the essential differences among notations. In previous work, we presented a template-based approach to defining model-based notations, in which semantics that are co...

Model transformations are a key concept within model driven development and there is an enormous need for suitable formal analysis techniques for model transformations, in particular with respect to behavioural equivalence of source models and their corresponding target models. For this reason, we discuss the general challenges that arise for the specification and verification of model transfor...