The role of information systems (IS) as representations of real-world systems is changing in
an increasingly digitalized world, suggesting that conceptual modeling is losing its …

Software performance engineering deals with the consideration of quantitative analysis of
the behaviour of software systems from the early development phases in the life cycle. This …

OBJECTIVES: The goal of this research is to provide a framework to enable authoring and
verification of clinical guidelines. The framework is part of a larger research project aimed at …

Much computer science literature addresses the mechanics of the Unified Modelling
Language (UML) and requirements modelling, but little research has addressed the role of …

Alice and Bob possess sequences x and y respectively and would like to compute the ℓ 1
distance, namely|| xy|| 1 under privacy and communication constraints. The privacy …

Software systems are today one of the most complex artifacts, they are simultaneously used
by hundred-thousand of people sometimes in risk real time operations, such as auctions or …

Clinical guidelines and protocols are used to aid decision making in health care. This paper
presents a modelbased approach to the development of decision support systems for …

Standard methods as such are not normally used for information system development. The
particular circumstances of each project make it necessary to adapt the methods to deal with …

It is not an overstatement to say that the gap between software design and performance
evaluation techniques has caused the misuse of the last ones by software engineers. The …

Equational zero vector accounting systems, based on duality principles and the double-entry
model, were designed as ontological control systems to help prevent and detect fraud and …