«api model»
۵۵۷۱ نتیجهAutomatic API Usage Rule Extraction for Software Model Checking
The need to manually specify temporal properties of software systems is a major barrier to wider adoption of software model checking, because the specification of software temporal properties is a difficult, time-consuming, and error-prone process. To solve this problem, we propo
libNeuroML and PyLEMS: using Python to combine procedural and declarative modeling approaches in computational neuroscience
NeuroML is an XML-based model description language, which provides a powerful common data format for defining and exchanging models of neurons and neuronal networks. In the latest version of NeuroML, the structure and behavior of ion channel, synapse, cell, and network model desc
Towards Pervasive Web API-based Systems
Recent technology developments in the area of services on the Web are marked by the proliferation of Web applications and APIs. This development, accompanied by the growing use of sensors and mobile devices raises the issue of having to consider not only static but also dynamic d
RESTful writable APIs for the web of Linked Data using relational storage solutions
Linked Data is rapidly becoming an important mechanism to expose structured data in the web. The ability to inter-link data sets from different providers using standard description vocabularies and the same data model, opens new possibilities in the way these data can be used. De
Automatic Creation of Environment Models via Training
Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the environment to enable precise yet efficient model checking? We present a novel approach to the automatic crea
REST Web Service Maintenance Through API Policy Enforcement
Web services and cloud computing have revolutionized the way software is developed, deployed, and consumed. As a consequence, there has been a proliferation of web services, which developers make accessible to users via web application programming interfaces (web APIs) and cloud-
High-Level Access APIs in the OSIMIS TMN Platform: Harnessing and Hiding
There is a common unjustified belief that OSI management technology, despite being very powerful, is difficult to implement because of the complexity of the underlying service/protocol (CMIS/P) and the power and expressiveness of the associated information model. Industry initiat
GeNCA : un modèle général de négociation de contrats entre agents. (GeNCA: a general contract-based negotiation between agents model)
When numerous agents interact, conflicts may arise. To solve them, different ways can be used such as cooperation, voting systems or negotiation. The one which interests us in this thesis is contract-based negotiation over resources. The aim of our work is to conceive a general n
Model-driven Testing of RESTful APIs
In contrast to the increasing popularity of REpresentational State Transfer (REST), systematic testing of RESTful Application Programming Interfaces (API) has not attracted much attention so far. This paper describes different aspects of automated testing of RESTful APIs. Later,
Measuring Student and School Progress with the California API
This paper focuses on interpreting the major conceptual features of California’s Academic Performance Index (API) as a coherent set of statistical procedures. To facilitate a characterization of its statistical properties, we first cast the index as a simple weighted average of t