Results 131 to 140 of about 20,385 (176)
Some of the next articles are maybe not open access.
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
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
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
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
Implementing IT in Construction
2006Contrary to stereotype, the construction industry has embraced IT with some vigour. Computers are used effectively across the sector and this use is increasing. A range of new issues have emerged in consequence.This practical book draws on direct industrial experience and examines the role of IT within a range of enterprises operating in the ...
Sommerville, James, Craig, Nigel
openaire +2 more sources
On the implementation of JavaSymphony
Eighth International Workshop on High-Level Parallel Programming Models and Supportive Environments, 2003. Proceedings., 2003In previous work we have introduced JavaSymphony, a system whose purpose is to simplify the development of distributed and parallel Java applications. JavaSymphony is a Java library that allows to control parallelism, load balancing, and locality at a high level.
Alexandru Jugravu, Thomas Fahringer
openaire +1 more source