Search Results - subject:"PROGRAMMING LANGUAGES"

Did you mean: subject:"PROGRAMMING language" (563 results)

Laboratory for Simulation Development: LSD

Valente, Marco - 2008

LSD is one of many programming languages designed to develop agent-based models. LSD implements time-driven models …

Persistent link: https://www.econbiz.de/10010328641

Laboratory for Simulation Develpment - LSD

Valente, Marco - Laboratory of Economics and Management (LEM), Scuola … - 2008

LSD is one of many programming languages designed to develop agent-based models. LSD implements time-driven models … programming languages designed to develop agent-based mod- els. LSD implements time-driven models expressed in formats equivalent …. Keywords: Simulations models, programming languages ∗The LSD project started in 1995 in IIASA, Laxembourg (Vienna), as part of …

Persistent link: https://www.econbiz.de/10005518707

Enforcing P3P policies using a digital rights management system

Salim, Farzad; Sheppard, Nicholas P.; Safavi-Naini, Rei - 2007

The protection of privacy has gained considerable attention recently. In response to this, new privacy protection systems are being introduced. SITDRM is one such system that protects private data through the enforcement of licenses provided by consumers. Prior to supplying data, data owners are...

Persistent link: https://www.econbiz.de/10009438034

Flight of fantasy: writing a full proof “code” for ethics

Botes, Vida - In: Accounting, Auditing & Accountability Journal 25 (2012) 5, pp. 927-928

Purpose – The purpose of this paper is to portray the Code of Ethics in digital format, by using a markup language like C #. to formulate code. Digitally executed, this should reduce in the audit expectation gap. Design/methodology/approach – Using wordplay the design consists of the...

Persistent link: https://www.econbiz.de/10014641377

Business process verification – finally a reality!

Wynn, M.T.; Verbeek, H.M.W.; van der Aalst, W.M.P.; ter … - In: Business Process Management Journal 15 (2009) 1, pp. 74-92

Purpose – The purpose of this paper is to demonstrate that process verification has matured to a level where it can be used in practice. This paper reports on new verification techniques that can be used to assess the correctness of real‐life models. Design/methodology/approach – The...

Persistent link: https://www.econbiz.de/10014687786

A framework for BPML assessment and improvement : A case study using IDEF0 and eEPC

Tsironis, Loukas; Anastasiou, Kiriakos; Moustakis, Vassilis - In: Business Process Management Journal 15 (2009) 3, pp. 430-461

Purpose – The purpose of this paper is to evaluate and improve two popular business process modelling languages (BPMLs) the Integration definition for function modelling (IDEF0) and event‐driven process chain (eEPC). Design/methodology/approach – The paper aims to select, compare and...

Persistent link: https://www.econbiz.de/10014687804

Teaching Social Simulation with Matlab

Thorngate, Warren - In: Journal of Artificial Societies and Social Simulation 3 (2000) 1, pp. 1-1

Programming languages for social simulations are rapidly proliferating. The result is a Tower of Babel effect: Many of … us find it increasingly effortful to learn and to teach more programming languages and increasingly difficult to sustain …

Persistent link: https://www.econbiz.de/10004983470

The Case for Formal Methods in Standards

Blyth, David; Boldyreff, Cornelia; Ruggles, Clive; … - 1990

It is argued that applying formal methods to standards making would result in more accurate, more understandable, and more useful standards. The main benefit seen in using formal methods in a standard's development and expression is improving the standard's quality. In the early stages of...

Persistent link: https://www.econbiz.de/10009463260

Aggregation and Mixed Integer Rounding to Solve MIPs.

Marchand, H.; Wolsey, L.A. - Center for Operations Research and Econometrics (CORE), … - 1998

A separation heuristic for mixed integer programs is presented that theoretically allows one to derive several families of " strong" valid inequalities for specific models and compuationally gives results as good as or better than those obtained from several existing separation routines...

Persistent link: https://www.econbiz.de/10005634004

Parabolic Target Space and Primal-Dual Interior-Point Methods.

Nesterov, Y. - Center for Operations Research and Econometrics (CORE), … - 1998

In this paper we develop new primal-dual interior-point methods for linear programming, which are based on the concept of parabolic target space. We show that such schemes work in the infinity-neighborhood of the primal-dual central path. Nevertheless these methods possess the best known...

Persistent link: https://www.econbiz.de/10005634080