Filters








106,322 Hits in 2.7 sec

Implementing incrementalization across object abstraction

Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller
2005 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '05  
Using a library of rules, it can perform incrementalization across object abstractions, allowing the programmer to write clear, straightforward code while relying on InvTS to generate sophisticated and  ...  We have implemented an interpreter (InvTS) for a declarative rule language (InvTL) supporting invariant-driven transformations of object-oriented programs.  ...  This helps resolve the conflict between clarity and efficiency by implementing a systematic method for incrementalization across object abstraction [4] .  ... 
doi:10.1145/1094855.1094889 dblp:conf/oopsla/GorbovitskiRLS05 fatcat:gqlm2q54kfgyncjyqzrr2mluwe

Incrementalization across object abstraction

Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu
2005 Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '05  
language; then analyzes the queries and updates, across object abstraction, in the straightforward implementation; and finally derives the sophisticated and efficient "how" of each component by incrementally  ...  Object abstraction supports the separation of what operations are provided by systems and components from how the operations are implemented, and is essential in enabling the construction of complex systems  ...  Section 2 discusses the creation of object abstraction and challenges for incrementalization across object abstraction.  ... 
doi:10.1145/1094811.1094848 dblp:conf/oopsla/LiuSGRL05 fatcat:5dmmyr2otrbmleclcpo734446a

Incrementalization across object abstraction

Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu
2005 SIGPLAN notices  
language; then analyzes the queries and updates, across object abstraction, in the straightforward implementation; and finally derives the sophisticated and efficient "how" of each component by incrementally  ...  Object abstraction supports the separation of what operations are provided by systems and components from how the operations are implemented, and is essential in enabling the construction of complex systems  ...  Section 2 discusses the creation of object abstraction and challenges for incrementalization across object abstraction.  ... 
doi:10.1145/1103845.1094848 fatcat:zifgzkapwjhu5boolp2fr64gti

Implementing incremental code migration with XML

Wolfgang Emmerich, Cecilia Mascolo, Anthony Finkelstein
2000 Proceedings of the 22nd international conference on Software engineering - ICSE '00  
By not fixing a particular granularity for mobile code, we enable complete programs as well as individual lines of code to be sent across the network.  ...  We define the concept of incremental code mobility as the ability to migrate and add, remove, or replace code fragments (i.e., increments) in a remote program.  ...  To implement the changes to the abstract syntax tree, we could use the insert and delete operations of the DOM.  ... 
doi:10.1145/337180.337227 dblp:conf/icse/EmmerichMF00 fatcat:7pgxdzbfnzd2rpennjpaykktnu

Navigating Across Non-Navigable Ecore References via OCL

Martin Hanysz, Tobias Hoppe, Axel Uhl, Andreas Seibel, Holger Giese, Philipp Berger, Stephan Hildebrandt
2010 Electronic Communications of the EASST  
It is quite common that references are defined uni-directionally only because of saving storage space or separating meta models, which is problematic when implementing Object Constraint Language (OCL)  ...  In this paper, we present an approach that overcomes the aforementioned issue by providing navigation across non-navigable Ecore references via OCL.  ...  Abstract Syntax of OCL Although we did not change the concrete syntax of OCL, we have extended the abstract syntax of OCL to reflect the navigation across non-navigable references.  ... 
doi:10.14279/tuj.eceasst.36.440 dblp:journals/eceasst/HanyszHUSGBH10 fatcat:3imgblac6rcslk7pufxcglquxu

Simulating inventory systems with forecast based policy updating

Manuel Rossetti, Vijith Varghese, Mehmet Miman, Edward Pohl
2008 2008 Winter Simulation Conference  
This paper presents an object oriented framework that facilitates modeling inventory systems whose policy updating is driven by forecast estimates.  ...  Abstraction of the listener that monitors demand arrival and responds For simplicity in the presentation, objects that implement an interface or that are instances of a particular class are referred to  ...  of the inventory policy BackLogPolicyAb- stract Abstraction of the backlog policy DemandFillerIfc Represents objects that fill requests for inventory DemandFiller- FinderIfc Represents objects  ... 
doi:10.1109/wsc.2008.4736391 dblp:conf/wsc/RossettiVMP08 fatcat:fl3f43cpxref3idduaptxa63jm

Online Learning of Reusable Abstract Models for Object Goal Navigation [article]

Tommaso Campari, Leonardo Lamanna, Paolo Traverso, Luciano Serafini, Lamberto Ballan
2022 arXiv   pre-print
In this paper, we present a novel approach to incrementally learn an Abstract Model of an unknown environment, and show how an agent can reuse the learned model for tackling the Object Goal Navigation  ...  Our results show that the reuse of learned Abstract Models can boost performance on Object Goal Navigation.  ...  To implement this feature, we design a "relocation" mechanism that allows the agent to match states of different Abstract Models.  ... 
arXiv:2203.02583v1 fatcat:t2uw3g53jngrjc4eblf32xbdqq

Declarative Ajax Web Applications through SQL++ on a Unified Application State [article]

Yupeng Fu, Kian Win Ong, Yannis Papakonstantinou
2014 arXiv   pre-print
Implementing even a conceptually simple web application requires an inordinate amount of time.  ...  (c) Asynchronous, incremental modification of the pages, as performed by Ajax actions.  ...  Similar to Echo2 and ZK, a developer also manually implements incremental modification of pages.  ... 
arXiv:1308.0656v2 fatcat:qc4khs7sbrg25cbtz7gtfusefa

Distributed Proxy: A Design Pattern for the Incremental Development of Distributed Applications [chapter]

António Rito Silva, Francisco Assis Rosa, Teresa Gonçalves, Miguel Antunes
2001 Lecture Notes in Computer Science  
This paper proposes an incremental approach to allow a divide and conquer strategy that copes with these problems. It presents a design pattern for distributed object communication.  ...  The solution enforces an incremental development process and encapsulates the underlying distribution mechanisms.  ...  In CORBA the implementation of distributed communication is encapsulated by an IDL (Interface Definition Language) and object references are dynamically created and passed across nodes.  ... 
doi:10.1007/3-540-45254-0_15 fatcat:bvsolmblzbdtjf6fivgkcquahu

Learn the New, Keep the Old: Extending Pretrained Models with New Anatomy and Images [chapter]

Firat Ozdemir, Philipp Fuernstahl, Orcun Goksel
2018 Lecture Notes in Computer Science  
Incremental learning can be a potential solution, where new information (images or anatomy) is introduced iteratively.  ...  In this paper, we introduce a framework for applying incremental learning for segmentation and propose novel methods for selecting representative data therein.  ...  We call this method Abstraction exemplar-based incremental Segmentation (AeiSeg).  ... 
doi:10.1007/978-3-030-00937-3_42 fatcat:3wyfgbqf7fctzko5tqztsvgf7e

Towards Reactive Programming for Object-Oriented Applications [chapter]

Guido Salvaneschi, Mira Mezini
2014 Lecture Notes in Computer Science  
Reactive applications are difficult to implement.  ...  other hand, reactive approaches based on automatic updates of dependencies -like functional reactive programming and dataflow languages -provide undoubted advantages but do not fit well with mutable objects  ...  Objects enable the development of large applications by modularizing rather large pieces of functionalities while abstracting over implementation details.  ... 
doi:10.1007/978-3-642-55099-7_7 fatcat:mgpc5wz7drck5ebjc4ffkfmohy

Control Abstractions for Local Search [chapter]

Pascal Van Hentenryck, Laurent Michel
2003 Lecture Notes in Computer Science  
Comet is an object-oriented language supporting a constraintbased architecture for local search through declarative and search components.  ...  These abstractions, which includes events and checkpoints, rely on first-class closures as the enabling technology.  ...  The implementation uses incremental algorithms to do so, but this is abstracted from programmers. Finally, observe the role of closures for the genericity of the VDNS implementation.  ... 
doi:10.1007/978-3-540-45193-8_5 fatcat:t7xa3pcb4ve4rjdoz7sbydolbm

Control Abstractions for Local Search

Pascal Van Hentenryck, Laurent Michel
2005 Constraints  
Comet is an object-oriented language supporting a constraintbased architecture for local search through declarative and search components.  ...  These abstractions, which includes events and checkpoints, rely on first-class closures as the enabling technology.  ...  The implementation uses incremental algorithms to do so, but this is abstracted from programmers. Finally, observe the role of closures for the genericity of the VDNS implementation.  ... 
doi:10.1007/s10601-005-0553-x fatcat:bmc2ebu4gbfnlj32v3lxknxtje

Lightweight capability domains

Charles Jacobsen, Muktesh Khole, Sarah Spall, Scotty Bauer, Anton Burtsev
2015 Proceedings of the 8th Workshop on Programming Languages and Operating Systems - PLOS '15  
Careful choice of communication abstractions and execution model, a general approach to decomposition, a path for incremental adoption, and automation through proper language tools can address complexity  ...  Lack of isolation across kernel subsystems allows attackers to take control over the entire machine with a single kernel vulnerability.  ...  Second, in LCDs capabilities implement a notion of cross-domain pointers allowing us to securely reference objects across isolated domains.  ... 
doi:10.1145/2818302.2818307 dblp:conf/sosp/JacobsenKSBB15 fatcat:wxl2ied63rfatg6oazr7ozh7aa

SOA 2006: State Of The Art

Mahesh H. Dodani
2006 Journal of Object Technology  
Instead it will be implemented incrementally and the business will demand return at each incremental project step.  ...  Open and http://www.redbooks.ibm.com/abstracts/ sg247234.html?  ...  J OURNAL OF OBJECT TECHNOLOGY V OL. 5, NO. 8 making rights along with the associated policies and mechanism to control and measure how these decisions are carried out.  ... 
doi:10.5381/jot.2006.5.8.c5 fatcat:fqjzwp7alrc4zfkaddef4aamta
« Previous Showing results 1 — 15 out of 106,322 results