Results 221 to 230 of about 1,854,137 (268)
Some of the next articles are maybe not open access.
Implementation Exchange: Implementing Implementation Research
Interfaces, 1982For some time we have been concerned with the problems of putting management science into practice and how this can best be done. We and others have looked at the meaning of implementation and sought for the factors and methods which make it successful.
Randall L. Schultz, Dennis P. Slevin
openaire +1 more source
SSRN Electronic Journal, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rui Tang 0021, Mu Zhang 0015
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Rui Tang 0021, Mu Zhang 0015
openaire +2 more sources
INFORMS Journal on Computing, 1996
This paper describes a Microsoft Windows-based system, LPFORM, that uses a graphical interface to assist a linear programming modeler in formulating and managing models. The system facilitates model building by providing multiple views of models during formulation and model interrogation, methods for model integration and a relational database for ...
Pai-Chun Ma +2 more
openaire +2 more sources
This paper describes a Microsoft Windows-based system, LPFORM, that uses a graphical interface to assist a linear programming modeler in formulating and managing models. The system facilitates model building by providing multiple views of models during formulation and model interrogation, methods for model integration and a relational database for ...
Pai-Chun Ma +2 more
openaire +2 more sources
Software: Practice and Experience, 1987
AbstractJoyce is a programming language for distributed systems based on CSP and Pascal. A Joyce program defines concurrent agents which communicate through unbuffered channels. This paper describes a surprisingly simple single‐processor implementation of Joyce which runs on an IBM‐PC.
openaire +2 more sources
AbstractJoyce is a programming language for distributed systems based on CSP and Pascal. A Joyce program defines concurrent agents which communicate through unbuffered channels. This paper describes a surprisingly simple single‐processor implementation of Joyce which runs on an IBM‐PC.
openaire +2 more sources
Multiple-implementation testing for XACML implementations
Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications, 2008Many Web applications enhance their security via access-control systems. XACML is a standardized policy language, which has been widely used in access-control systems. In an XACML-based access-control system, policies, requests, and responses are written in XACML.
Nuo Li, JeeHyun Hwang, Tao Xie 0001
openaire +1 more source
Econometrica, 1991
Summary: The subject of this paper is the decentralization of decision making when agents have information which is incomplete and possibly exclusive. The first theorem states that in economic environments with three or more individuals, there exists a mechanism whose Bayesian equilibria coincide with a desired collection of social choice functions if ...
openaire +1 more source
Summary: The subject of this paper is the decentralization of decision making when agents have information which is incomplete and possibly exclusive. The first theorem states that in economic environments with three or more individuals, there exists a mechanism whose Bayesian equilibria coincide with a desired collection of social choice functions if ...
openaire +1 more source
Implementing BPEL4WS: the architecture of a BPEL4WS implementation
Concurrency and Computation: Practice and Experience, 2005AbstractBPEL4WS (BPEL in short) is a business process definition language built natively on top of the Web services application model. BPEL provides a workflow‐oriented composition model for Web services applications, and is thus a central piece in the heavily componentized service‐oriented computing model.
Francisco Curbera +3 more
openaire +1 more source
ACM SIGAda Ada Letters, 1985
Anna is a language extension of Ada to include facilities for formally specifying the intended behavior of Ada programs. It augments Ada with precise machine-processable annotations so that well established formal methods of specification and documentation can be applied to Ada programs.This paper describes an implementation of a subset of
Sriram Sankar +2 more
openaire +2 more sources
Anna is a language extension of Ada to include facilities for formally specifying the intended behavior of Ada programs. It augments Ada with precise machine-processable annotations so that well established formal methods of specification and documentation can be applied to Ada programs.This paper describes an implementation of a subset of
Sriram Sankar +2 more
openaire +2 more sources
PIT: A macro‐implemented implementation language
Software: Practice and Experience, 1972AbstractAn implementation technique called PIT, for pseudo instructional technique, is described which utilizes the macro capabilities of most macro assemblers. A low level machine architecture is described via a set of macros that include some ‘high level’ features.
openaire +1 more source
1994
Graph Traverse Scheduling, GTS [ALTB89], was developed as a technique suitable for parallelizing DO loops with cycles on their dependence graph, but actually, GTS is a generalization of many loop restructuring techniques. The improvements achieved with its application in front of other techniques are the reduction of synchronizations, the introduction ...
Cristina Barrado +2 more
openaire +1 more source
Graph Traverse Scheduling, GTS [ALTB89], was developed as a technique suitable for parallelizing DO loops with cycles on their dependence graph, but actually, GTS is a generalization of many loop restructuring techniques. The improvements achieved with its application in front of other techniques are the reduction of synchronizations, the introduction ...
Cristina Barrado +2 more
openaire +1 more source