24 papers:
FSE-2014-KrkaBM #automation #invariant #mining #specification- Automatic mining of specifications from invocation traces and method invariants (IK, YB, NM), pp. 178–189.
CHI-2013-GartenbergBPMT #adaptation #automation #fault- Adaptive automation and cue invocation: the effect of cue timing on operator error (DG, LAB, JP, JMM, JGT), pp. 3121–3130.
CGO-2013-HuangJBJA #automation #parallel #runtime #using- Automatically exploiting cross-invocation parallelism using runtime information (JH, TBJ, SRB, NPJ, DIA), p. 11.
ASE-2011-Halfond #web- Domain and value checking of web application invocation arguments (WGJH), pp. 544–547.
Onward-2011-NevesGF #stack- Language support for asynchronous event handling in the invocation call stack (CRGdN, EMG, CTF), pp. 177–180.
GPCE-2010-LongMSR #concurrent- Implicit invocation meets safe, implicit concurrency (YL, SLM, TS, HR), pp. 63–72.
SAC-2010-PawlitzkiS- Implicit invocation of traits (TP, FS), pp. 2085–2089.
ECOOP-2009-IbrahimJTC #composition- Remote Batch Invocation for Compositional Object Services (AI, YJ, ET, WRC), pp. 595–617.
- SAC-2008-AndronickN #embedded #protocol
- Certifying an embedded remote method invocation protocol (JA, QHN), pp. 352–359.
- SAC-2008-ReverbelN #multi #transaction
- Dynamic support to transactional remote invocations over multiple transports (FR, ISN), pp. 499–506.
FASE-2007-DarvasL #implementation #reasoning- Practical Reasoning About Invocations and Implementations of Pure Methods (ÁD, KRML), pp. 336–351.
SCAM-J-2005-ZhangBCD06 #using- Using source transformation to test and model check implicit-invocation systems (HZ, JSB, JRC, JD), pp. 209–227.
ICSM-2005-SalahDMSV #named #reverse engineering #sequence- Scenariographer: A Tool for Reverse Engineering Class Usage Scenarios from Method Invocation Sequences (MS, TD, SM, AS, FIV), pp. 155–164.
- SCAM-2005-ZhangBCD #implementation #using #verification
- Implementation and Verification of Implicit-Invocation Systems Using Source Transformation (HZ, JSB, JRC, JD), pp. 87–96.
- ASE-2004-XuRS #aspect-oriented #comprehension
- Understanding Aspects via Implicit Invocation (JX, HR, KJS), pp. 332–335.
- FASE-2004-GhezziMP #static analysis #type system
- Enhancing Remote Method Invocation through Type-Based Static Analysis (CG, VM, GPP), pp. 339–353.
ESEC-FSE-2003-BradburyD #analysis #automation- Evaluating and improving the automatic analysis of implicit invocation systems (JSB, JD), pp. 78–87.
WCRE-2002-TrogerC #analysis- Analysis of Virtual Method Invocation for Binary Translation (JT, CC), p. 65–?.
EDOC-2002-SatoSM #optimisation #parallel #web #web service- Optimizing Composite Web Services through Parallelization of Service Invocations (NS, SS, KM), p. 305–?.
PPoPP-1999-MaassenNVBP #implementation #java #performance- An Efficient Implementation of Java’s Remote Method Invocation (JM, RvN, RV, HEB, AP), pp. 173–182.
- FSE-1998-GarlanJN #reasoning
- Reasoning about Implicit Invocation (DG, SJ, DN), pp. 209–221.
ICSE-1993-GarlanS #programming language- Adding Implicit Invocation to Rraditional Programming Languages (DG, CS), pp. 447–455.
VDME-1991-1-GarlanN #design #formal method- Formalizing Design Spaces: Implicit Invocation Mechanisms (DG, DN), pp. 31–44.
VLDB-1975-Zloof #named- Query-by-Example: the Invocation and Definition of Tables and Forms (MMZ), pp. 1–24.
