No abstract available.
Cited By
- Chiang C An Implementation of a Framework for Open Distributed Computing Proceedings of the 9th International Conference on Algorithms and Architectures for Parallel Processing, (569-579)
- Barbosa L, Cunha J and Visser J A type-level approach to component prototyping International workshop on Synthesis and analysis of component connectors: in conjunction with the 6th ESEC/FSE joint meeting, (23-36)
- Babkin E, Abdulrab H and Kozyrev O Application of ontology-based tools for design of multi-agent simulation environments in economics Proceedings of the IASTED Asian Conference on Modelling and Simulation, (55-60)
- Bazavan P CORBA technologies for railway site reservation and passenger information Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Computer Science - Volume 7, (145-150)
- Dinda P (2006). Design, Implementation, and Performance of an Extensible Toolkit for Resource Prediction in Distributed Systems, IEEE Transactions on Parallel and Distributed Systems, 17:2, (160-173), Online publication date: 1-Feb-2006.
- Dix J, Kraus S and Subrahmanian V (2006). Heterogeneous temporal probabilistic agents, ACM Transactions on Computational Logic (TOCL), 7:1, (151-198), Online publication date: 1-Jan-2006.
- Melnik S, Bernstein P, Halevy A and Rahm E Supporting executable mappings in model management Proceedings of the 2005 ACM SIGMOD international conference on Management of data, (167-178)
- Arbab F (2005). Abstract behavior types, Science of Computer Programming, 55:1-3, (3-52), Online publication date: 1-Mar-2005.
- Chang K and Gay D Language support for interoperable messaging in sensor networks Proceedings of the 2005 workshop on Software and compilers for embedded systems, (1-9)
- Barbosa M and Barbosa L Specifying software connectors Proceedings of the First international conference on Theoretical Aspects of Computing, (52-67)
- Atkinson C and Hummel O Towards a methodology for component-driven design Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques, (23-33)
- Oberleitner J, Gschwind T and Jazayeri M The Vienna Component Framework enabling composition across component models Proceedings of the 25th International Conference on Software Engineering, (25-35)
- Moore T Bringing the enterprise into a database systems course Proceedings of the 33rd SIGCSE technical symposium on Computer science education, (262-265)
- Moore T (2002). Bringing the enterprise into a database systems course, ACM SIGCSE Bulletin, 34:1, (262-265), Online publication date: 1-Mar-2002.
- Chaumette S and Grange P Parallelizing Multithreaded Java Program Proceedings of the 16th International Parallel and Distributed Processing Symposium
- Cha S, Kim K, Lee B, Song C, Hwang S and Kwon Y (2002). MEADOW, Software—Practice & Experience, 32:4, (377-402), Online publication date: 10-Apr-2002.
- Pierce M, Fox G, Youn C, Mock S, Mueller K and Balsoy O Interoperable Web services for computational portals Proceedings of the 2002 ACM/IEEE conference on Supercomputing, (1-12)
- Trinder P, Loidl H and Pointon R (2019). Parallel and Distributed Haskells, Journal of Functional Programming, 12:5, (469-510), Online publication date: 1-Jul-2002.
- Plank J, Bassi A, Beck M, Moore T, Swany D and Wolski R (2001). Managing Data Storage in the Network, IEEE Internet Computing, 5:5, (50-58), Online publication date: 1-Sep-2001.
- Mishra S, Fei L, Lin X and Xing G (2001). On Group Communication Support in CORBA, IEEE Transactions on Parallel and Distributed Systems, 12:2, (193-208), Online publication date: 1-Feb-2001.
- Duggan D Type-based hot swapping of running modules (extended abstract) Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, (62-73)
- Duggan D (2019). Type-based hot swapping of running modules (extended abstract), ACM SIGPLAN Notices, 36:10, (62-73), Online publication date: 1-Oct-2001.
- Weerawarana S, Curbera F, Duftler M, Epstein D and Kesselman J Bean markup language Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 6, (13-13)
- MAGE Proceedings of the The 21st International Conference on Distributed Computing Systems
- Wang F (2000). A Distributed Geographic Information System on the Common Object Request Broker Architecture (CORBA), Geoinformatica, 4:1, (89-115), Online publication date: 1-Mar-2000.
- Arora A, Cooper G, Krishnan R and Padman R (2019). IBIZA, Information Systems Frontiers, 2:1, (65-84), Online publication date: 11-Jan-2000.
- Litoiu M, Rolia J and Serazzi G (2000). Designing Process Replication and Activation, IEEE Transactions on Software Engineering, 26:12, (1168-1178), Online publication date: 1-Dec-2000.
- Banavar G, Beck J, Gluzberg E, Munson J, Sussman J and Zukowski D Challenges Proceedings of the 6th annual international conference on Mobile computing and networking, (266-274)
- Lorenz D and Petkovic P Design-Time Assembly of Runtime Containment Components Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
- Mariño P, Sigüenza C, Nogueira J, Poza F and Dominguez M An Event Driven Software Architecture for Enterprise-Wide Data Source Integration Proceedings of the The International Conference on Information Technology: Coding and Computing (ITCC'00)
- Da Silva P User interface declarative models and development environments Proceedings of the 7th international conference on Design, specification, and verification of interactive systems, (207-226)
- Dix J, Nanni M and Subrahmanian V (2000). Probabilistic agent programs, ACM Transactions on Computational Logic (TOCL), 1:2, (208-246), Online publication date: 1-Oct-2000.
- Fan M, Stallaert J and Whinston A (1999). A Web-Based Financial Trading System, Computer, 32:4, (64-70), Online publication date: 1-Apr-1999.
- Finne S, Leijen D, Meijer E and Peyton Jones S (1998). H/Direct, ACM SIGPLAN Notices, 34:1, (153-162), Online publication date: 1-Jan-1999.
- Moreau L (2019). A distributed garbage collector with diffusion tree reorganisation and mobile objects, ACM SIGPLAN Notices, 34:1, (204-215), Online publication date: 1-Jan-1999.
- Schönhage B and Eliëns A Dynamic and mobile VRML gadgets Proceedings of the fourth symposium on Virtual reality modeling language, (47-52)
- Beck J, Gefflaut A and Islam N MOCA Proceedings of the 1st ACM international workshop on Data engineering for wireless and mobile access, (62-68)
- Kermarrec Y CORBA vs. Ada 95 DSA Proceedings of the 1999 annual ACM SIGAda international conference on Ada, (39-46)
- Kermarrec Y (1999). CORBA vs. Ada 95 DSA, ACM SIGAda Ada Letters, XIX:3, (39-46), Online publication date: 1-Sep-1999.
- Raje R and Chinnasamy S (2019). Designing a distributed computing environment for global-scale systems, ACM SIGAPP Applied Computing Review, 7:1, (25-30), Online publication date: 1-Apr-1999.
- Shacklette J and Illian (1999). CORBA Program Development, Part 1, Linux Journal, 1999:61es, (3-es), Online publication date: 1-May-1999.
- Fan M, Stallaert J and Whinston A (1999). The design and development of a financial cybermarket with a bundle trading mechanism, International Journal of Electronic Commerce, 4:1, (5-22), Online publication date: 1-Sep-1999.
- Mariño P, Sigüenza C, Nogueira J, Poza F and Dominguez M A Reusable Distributed Software Architecture Driven by Metadata Proceedings of the Sixth Asia Pacific Software Engineering Conference
- Sellentin J and Mitschang B Design and Implementation of a CORBA Query Service Accessing EXPRESS-based Data Proceedings of the Sixth International Conference on Database Systems for Advanced Applications, (273-282)
- Xing G and Lyu M Testing, Reliability, and Interoperability Issues in the CORBA Programming Paradigm Proceedings of the Sixth Asia Pacific Software Engineering Conference
- Tu Y, Tsai W and Xiang Y Specifying Constraints with Message Sequence Specifications Proceedings of the Sixth Asia Pacific Software Engineering Conference
- Migliardi M and Sunderam V Heterogeneous Distributed Virtual Machines in the Harness Metacomputing Framework Proceedings of the Eighth Heterogeneous Computing Workshop
- Krieger D and Adler R (2019). The Emergence of Distributed Component Platforms, Computer, 31:3, (43-53), Online publication date: 1-Mar-1998.
- Siegel J (1998). OMG overview, Communications of the ACM, 41:10, (37-43), Online publication date: 1-Oct-1998.
- Haggerty P and Seetharaman K (1998). The benefits of CORBA-based network management, Communications of the ACM, 41:10, (73-79), Online publication date: 1-Oct-1998.
- Steppler M Performance analysis of communication systems formally specified in SDL Proceedings of the 1st international workshop on Software and performance, (49-62)
- Rolia J and Vetland V Correlating resource demand information with ARM data for application services Proceedings of the 1st international workshop on Software and performance, (219-230)
- Natarajan R and Rosenblum D Merging component models and architectural styles Proceedings of the third international workshop on Software architecture, (109-111)
- Weske M, Vossen G, Medeiros C and Pires F Workflow management in geoprocessing applications Proceedings of the 6th ACM international symposium on Advances in geographic information systems, (88-93)
- Finne S, Leijen D, Meijer E and Peyton Jones S H/Direct Proceedings of the third ACM SIGPLAN international conference on Functional programming, (153-162)
- Moreau L A distributed garbage collector with diffusion tree reorganisation and mobile objects Proceedings of the third ACM SIGPLAN international conference on Functional programming, (204-215)
- Garcia J, Ferreira P and Guedes P The PerDiS FS Proceedings of the 8th ACM SIGOPS European workshop on Support for composing distributed applications, (189-194)
- Kramer R, Nicholai R, Koschel A, Rolker C, Lockemann P, Keitel A, Legat R and Tirm K (2019). WWW-UDK, ACM SIGMOD Record, 26:1, (16-21), Online publication date: 1-Mar-1997.
- Kramer R Databases on the Web Proceedings of the 1997 ACM SIGMOD international conference on Management of data, (503-506)
- Kramer R (2019). Databases on the Web, ACM SIGMOD Record, 26:2, (503-506), Online publication date: 1-Jun-1997.
- Doscher D and Hodges R (1997). SEMATECH's experiences with the CIM framework, Communications of the ACM, 40:10, (82-84), Online publication date: 1-Oct-1997.
- Wang P Tools for parallel/distributed mathematical computation Proceedings of the second international symposium on Parallel symbolic computation, (188-195)
- Rosenblum D and Wolf A A design framework for Internet-scale event observation and notification Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering, (344-360)
- Rosenblum D and Wolf A (2019). A design framework for Internet-scale event observation and notification, ACM SIGSOFT Software Engineering Notes, 22:6, (344-360), Online publication date: 1-Nov-1997.
- Schönhage B and Eliëns A A flexible architecture for user-adaptable visualization Proceedings of the 1997 workshop on New paradigms in information visualization and manipulation, (8-10)
- Lockemann P, Kölsch U, Koschel A, Kramer R, Nikolai R, Wallrath M and Walter H The Network as a Global Database Proceedings of the 23rd International Conference on Very Large Data Bases, (567-574)
- Litoiu M, Khafagy H, Qin B, Wan A and Rolia J A performance engineering tool and method for distributing applications Proceedings of the 1997 conference of the Centre for Advanced Studies on Collaborative research
- Lavana H, Khetawat A, Brglez F and Kozminski K Executable workflows Proceedings of the 34th annual Design Automation Conference, (553-558)
- Rowstron A, Li S and Stefanova R C2AS Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises, (127-132)
- Welch D and Purtilo J Domain-Driven Reconfiguration in Collaborative Virtual Environments Proceedings of the 6th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises, (167-172)
- Regli W (2019). Internet-Enabled Computer-Aided Design, IEEE Internet Computing, 1:1, (39-50), Online publication date: 1-Jan-1997.
- Narasimhan P, Moser L and Melliar-Smith P Exploiting the internet inter-ORB protocol interface to provide CORBA with fault tolerance Proceedings of the 3rd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 3, (6-6)
- Selic B A framework for location transparency in distributed systems Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
- Park S, Park S and Baik D Farming Methodology for TMN Platform Independent Class Repository Design Proceedings of the 21st International Computer Software and Applications Conference, (352-351)
- Wallach D, Balfanz D, Dean D and Felten E (1997). Extensible security architectures for Java, ACM SIGOPS Operating Systems Review, 31:5, (116-128), Online publication date: 1-Dec-1997.
- Wallach D, Balfanz D, Dean D and Felten E Extensible security architectures for Java Proceedings of the sixteenth ACM symposium on Operating systems principles, (116-128)
- Riley J A comparison of two approaches to distributed application development in Ada Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada, (73-80)
Index Terms
- COBRA fundamentals and programming
Recommendations
Mixed-integer quadratic programming
This paper considers mixed-integer quadratic programs in which the objective function is quadratic in the integer and in the continuous variables, and the constraints are linear in the variables of both types. The generalized Benders' decomposition is a ...
The Sequential Unconstrained Minimization Technique for Nonlinear Programing, a Primal-Dual Method
This article is based on an idea proposed by C. W. Carroll for transforming a mathematical programming problem into a sequence of unconstrained minimization problems. It describes the theoretical validation of Carroll's proposal for the convex ...
On linear programming relaxations for solving polynomial programming problems
Highlights- Theoretically compared the tightness of the J-set relaxation with the recursive McCormick relaxations.
AbstractThis paper studies linear programming (LP) relaxations for solving polynomial programming problems. A polynomial programming problem can be equivalently formulated as a quadratically constrained quadratic program (QCQP) by introducing ...