-
1
-
2
-
3
Pattern-Directed Invocation with Changing Equations
Published 2004“…The interaction of pattern-directed invocation with equality in an automated reasoning system gives rise to a completeness problem. …”
Get full text
-
4
-
5
A Functional Abstraction of Typed Invocation Contexts
Published 2022-09-01“…Compared to shift and reset, control and prompt exhibit a more dynamic behavior, in that they can manipulate a trail of contexts surrounding the invocation of previously captured continuations. Our key observation is that, by adopting a functional representation of trails in the CPS semantics, we can derive a type system that encodes all and only constraints imposed by the CPS semantics.…”
Get full text
Article -
6
PIPES: Linguistic Support for Ordered Asynchronous Invocations
Published 2023“…Pipes allow a sequence of remote invocations to be performed in order, but asynchronously with respect to the calling thread.…”
Get full text
-
7
Occupational invocation : managing experts through occupational norms
Published 2019Get full text
Thesis -
8
Enabling Flexible and Continuous Capability Invocation in Mobile Prosumer Environments
Published 2012-06-01“…In addition, we stress the importance of the flexibility in capability invocation by allowing the communication middleware to select the access technology and change the communication paradigm when dealing with smart devices, and by describing and evaluating two algorithms for resource access management.…”
Get full text
Article -
9
J. Locke, Op. Cit.: Invocations of Law on Snowy Streets
Published 2014“…Each winter in the northern cities of the United States, a familiar scene illustrates tacit and deeply sedimented, yet common invocations of law. After a heavy snow storm, one can see old chairs, traffic cones, milk crates, light weight tables, dead house plants, or other noticeably bulky objects in recently shoveled out parking spots on an otherwise snow-filled public street. …”
Get full text
Article -
10
Intersectional Reflexivity: Centering Invocations and Impositions in Reflexive Accounts of Qualitative Research
Published 2023-06-01“…The paper shows researcher-participant exchanges as sites of intersectional struggle where both researchers and participants engage in invocations and impositions of intersectional identities to navigate their positionality during interactions. …”
Get full text
Article -
11
-
12
-
13
The role of social status of brand equity on customer invocations the brand of equatic complexes
Published 2022-09-01Get full text
Article -
14
Devenir-gracieux. L’invocation dans Les furtifs d’Alain Damasio
Published 2023-05-01Get full text
Article -
15
-
16
The new Mongolian state herder; examining invocations and improvisations of the state in rural Mongolia
Published 2019Journal article -
17
Privacy-aware cross-cloud service recommendations based on Boolean historical invocation records
Published 2019-04-01Subjects: Get full text
Article -
18
The Interaction Between Truth Maintenance, Equality, and Pattern-Directed Invocation: Issues of Completeness and Efficiency
Published 2008“…We have implemented a reasoning system, called BREAD, which includes truth maintenance, equality, and pattern-directed invocation. This paper reports on the solution of two technical problems arising out of the interaction between these mechanisms. …”
Get full text
Working Paper -
19
Enhanced Bug Prediction in JavaScript Programs with Hybrid Call-Graph Based Invocation Metrics
Published 2020-12-01“…Depending on the ML algorithm, applied hyper-parameters, and target measures we consider, hybrid invocation metrics bring a 2–10% increase in model performances (i.e., precision, recall, F-measure). …”
Get full text
Article -
20
Collective Asynchronous Remote Invocation (CARI): A High-Level and Effcient Communication API for Irregular Applications
Published 2015“…We present the implementation and evaluation of one such message passing pattern (or schedule) that we term Collective Asynchronous Remote Invocation (CARI). As the name suggests, CARI is a collective variant of Remote Method Invocation (RMI), which is an attractive, high-level, and established paradigm in distributed systems programming. …”
Get full text
Article