Research Publications
All | |
| Narrow your search | 314 result(s) |
By Type
By Year By Research Group | In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in the hyper tableau calculus. It is based on splitting of positive clauses and... This work describes the proof and uses of a theorem allowing definition of recursive functions over the type of λ-calculus terms, where terms with bound variables are identified up to α-equivalence. The theorem embodies what is effectively a principle of... We propose a process algebra for wireless mesh networks that combines novel treatments of local broadcast, conditional unicast and data structures. In this framework, we model the Ad-hoc On-Demand Distance Vector (AODV) routing protocol. We give a ... This article addresses the problem of constructing consolidated business process models out of collections of process models that share common fragments. The article considers the construction of unions of multiple models (called merged models) as well as... Functional programming techniques have been used to describe synchronous digital circuits since the early 1980s, and have proven successful at describing certain types of designs. Here we explore the formal underpinnings of this tradition and survey ... In the present paper we analyze the complexity of a fragment of the compliance checking problem. Although the fragment studied leaves out many feature of the original problem, like compensations and non-structured processes, we prove that the complexity ... In previous work we introduced a software studio course in which seventy students used continuous integration practices to collaborate on a common legacy code base. This enabled students to experience the issues of realistically sized software projects, ... We describe a comprehensive HOL mechanisation of the theory of ordinal numbers, focusing on the basic arithmetic operations. Mechanised results include the existence of fixpoints such as ε₀, the existence of normal forms, and the validation of some of the... We propose a novel market-based approach for dynamic composite service selection based on combinatorial auctions. The combinatorial auction model we developed allows us to incorporate service providers’ and requesters’ preferences in the service selection... Comparing process models and matching similar activities has recently emerged as a research area of business process management. However, the problem is fundamentally hard when considering realistic process collections: there are numerous options of ... In many cases, it is not cost effective to automate business processes which affect a small number of people and/or change frequently. We present a novel approach for enabling domain experts to model and deploy such processes from their respective domain ... The ever-increasing obligations of regulatory compliance are presenting a new breed of challenges for organizations across several industry sectors. Aligning control objectives that stem from regulations and legislation with business objectives devised ... |