Results 1 to 10 of about 689,888 (317)
Operational semantics for signal handling [PDF]
Electronic 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]
Sensors, 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
Business process exception handling using workflow methods
Lietuvos Matematikos Rinkinys, 2003 There is not abstract.
Dovilė Vojevodina
doaj +5 more sources
Exception handling in APL [PDF]
ACM SIGAPL APL Quote Quad, 1982 This paper examines APL exception handling facilities as they relate to applications programming. A brief background on exception handling is first presented. Next, the qualities most desirable in an exception handler are discussed. These criteria are then used to examine and compare two different implementations of an exception handling facility ...
Dennis R. Adler
openalex +3 more sources
Comprehensive Monitor-Oriented Compensation Programming [PDF]
Electronic 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]
Electronic 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
Exception handling for copyless messaging [PDF]
Proceedings of the 14th symposium on Principles and practice of declarative programming, 2013 Copyless messaging is a communication mechanism in which only pointers to messages are exchanged between sender and receiver processes. Because of its intrinsically low overhead, copyless messaging can be profitably adopted for the development of complex software systems where processes have access to a shared address space.
Svetlana Jakšić, Luca Padovani
openalex +5 more sources
On a New Notion of Partial Refinement [PDF]
Electronic 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
Explicit representation of exception handling in the development of dependable component-based systems [PDF]
, 2002 Exception handling is a structuring technique that facilitates the design of systems by encapsulating the process of error recovery. In this paper, we present a systematic approach for incorporating exceptional behaviour in the development of component ...
Giovanna Ferreira +2 more
openalex +4 more sources
Rcpp: Seamless R and C++ Integration [PDF]
Journal 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