Hypersonic is a Cloud-based tool that proposes a new approach to the deployment of model analysis facilities. It is implemented as a RESTful Web service API offering analysis features such as model clone detection. This approach allows the migration of resource intensive analysis algorithms from monolithic desktop modeling tools to a wide range of mobile and Web-based clients. As a technology d...

This paper discusses the system aspects of development of applied programming interfaces in SoftwareDefined Networking (SDN). Almost all existing SDN interfaces use so-called Representational State Transfer (REST) services as a basic model. This model is simple and straightforward for developers, but often does not support the information (metadata) necessary for programming automation. In this...

Fire is a disaster that can endanger lives and cause property loss. The solution to detect fire commonly used today use sensor. sensors be together with surveillance cameras (CCTV) which are now being installed in many office buildings. This study tries build model for detecting video digital image processing approach using the Gaussian Mixture Model motion detection color segmentation YCbCr sp...

The development of REST APIs requires a great deal of time because developers have to address several issues to ensure a suitable design and the desired usability. This paper uses the model-driven approach to generate proper and functional REST APIs while focusing on the core aspects of REST and the consequences for the generation process. We present a method, which allows to design a REST API ...

This paper presents an application program interface (API) that enables applications to use application-defined scheduling algorithms in a way compatible with the scheduling model of the Ada 95 Real-Time Systems Annex. Several application-defined schedulers, implemented as special user tasks, can coexist in the system in a predictable way. This API is currently implemented on our operating syst...

PKCS#11 is a standard API to cryptographic devices such as smarcards, hardware security modules and usb crypto-tokens. Though widely adopted, this API has been shown to be prone to attacks in which a malicious user gains access to the sensitive keys stored in the devices. In 2008, Delaune, Kremer and Steel proposed a model to formally reason on this kind of attacks. We extend this model to also...

The Microsoft .NET Common Language Runtime (CLR) provides a low-level debugging application programmers interface (API), which can be used to implement traditional source code debuggers but can also be useful to implement other dynamic program introspection tools. This paper describes our experience in using this API for the implementation of a high-level debugger. The API is difficult to use f...

Incorrect handling of errors incurred after API invocations (in short, API errors) can lead to security and robustness problems, two primary threats to software reliability. Correct handling of API errors can be specified as formal specifications, verifiable by static checkers, to ensure dependable computing. But API error specifications are often unavailable or imprecise, and cannot be inferre...