Results 1 to 10 of about 719,068 (300)

Operational semantics for signal handling [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2012
Signals are a lightweight form of interprocess communication in Unix. When a process receives a signal, the control flow is interrupted and a previously installed signal handler is run.
Maxim Strygin, Hayo Thielecke
doaj   +5 more sources

An Exception Handling Approach for Privacy-Preserving Service Recommendation Failure in a Cloud Environment [PDF]

open access: yesSensors, 2018
Service recommendation has become an effective way to quickly extract insightful information from massive data. However, in the cloud environment, the quality of service (QoS) data used to make recommendation decisions are often monitored by distributed ...
Lianyong Qi   +6 more
doaj   +2 more sources

Comprehensive Monitor-Oriented Compensation Programming [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2014
Compensation programming is typically used in the programming of web service compositions whose correct implementation is crucial due to their handling of security-critical activities such as financial transactions.
Christian Colombo, Gordon J. Pace
doaj   +4 more sources

Combining and Relating Control Effects and their Semantics [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2013
Combining local exceptions and first class continuations leads to programs with complex control flow, as well as the possibility of expressing powerful constructs such as resumable exceptions.
James Laird
doaj   +4 more sources

Model of an Open-Source MicroPython Library for GSM NB-IoT [PDF]

open access: yesSensors
The growing adoption of the Internet of Things (IoT) demands scalable, energy-efficient communication for autonomous devices. Narrowband IoT (NB-IoT), as a low-power wide-area technology, offers reliable connectivity but remains difficult to integrate in
Antonii Lupandin   +4 more
doaj   +2 more sources

On a New Notion of Partial Refinement [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2013
Formal specification techniques allow expressing idealized specifications, which abstract from restrictions that may arise in implementations. However, partial implementations are universal in software development due to practical limitations.
Emil Sekerinski, Tian Zhang
doaj   +4 more sources

Trends in Modern Exception Handling [PDF]

open access: greenComputer Science, 2003
Exception handling is nowadays a necessary component of error proof information systems. The paper presents overview of techniques and models of exception handling, problems connected with them and potential solutions.
Marcin Kuta
doaj   +1 more source

Rcpp: Seamless R and C++ Integration [PDF]

open access: yesJournal of Statistical Software, 2011
The Rcpp package simplifies integrating C++ code with R. It provides a consistent C++ class hierarchy that maps various types of R objects (vectors, matrices, functions, environments, . . . ) to dedicated C++ classes. Object interchange between R and C++
Dirk Eddelbuettel, Romain Francois
doaj   +1 more source

Business process exception handling using workflow methods

open access: yesLietuvos Matematikos Rinkinys, 2003
There is not abstract.
Dovilė Vojevodina
doaj   +3 more sources

Home - About - Disclaimer - Privacy