Results 221 to 230 of about 114,773 (269)
Some of the next articles are maybe not open access.
On the Integrity of Lightweight Checkpoints
2008 11th IEEE High Assurance Systems Engineering Symposium, 2008This paper proposes a lightweight checkpointing scheme for real-time embedded systems. The goal is to separate concerns by allowing applications to take checkpoints independently while providing them with an operating system service to assure the integrity of checkpoints.
Raul Barbosa, Johan Karlsson
openaire +1 more source
Lightweight tourism recommendation
International Journal of Web Engineering and Technology, 2013In this paper, we present the tours planning system entitled TOURSPLAN, along with a new lightweight user modelling UM process intended to work as a tourism recommendation system in a commercial environment. The new process tackles issues like cold start, grey sheep and over-specialisation through a rich user model and the application of a gradual ...
Nuno Luz +4 more
openaire +1 more source
2010
This chapter describes lightweight workflow as a possible approach to counter many of the issues related to the introduction and sustained use of operational workflow management systems. Aside from a description of the essential features of lightweight workflow, this chapter also provides a reflection on the application of lightweight workflow in ...
openaire +1 more source
This chapter describes lightweight workflow as a possible approach to counter many of the issues related to the introduction and sustained use of operational workflow management systems. Aside from a description of the essential features of lightweight workflow, this chapter also provides a reflection on the application of lightweight workflow in ...
openaire +1 more source
2008
Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which complicate automation, by independent assertions about the memory content and the memory layout. As a result, assertions about the content can be treated by existing reasoners.
openaire +1 more source
Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which complicate automation, by independent assertions about the memory content and the memory layout. As a result, assertions about the content can be treated by existing reasoners.
openaire +1 more source
Lightweight collaboration management
Proceedings of the 3rd and 4th International Workshop on Web APIs and Services Mashups, 2010Collaboration processes are generally coordinated without an explicit notion of a guiding process. Even though this kind of work is performed in a rather structured manner, explicit software support to coordinate these processes is rare. On the other hand, process automation is mainly considered for highly frequent processes, due to the cumbersome ...
Matthias Kunze 0001 +3 more
openaire +1 more source
Lightweight Middleware for Robot
RO-MAN 2007 - The 16th IEEE International Symposium on Robot and Human Interactive Communication, 2007Recently, according to various application field of robot, the scalability and the flexibility of robot are essential requirements. To satisfy these requirements, the robot is divided into the module or a hardware component unit, where the function such as vision, control, sensing are executed. The robot is composed of the set of various modules.
Bum Hyeon Baek +5 more
openaire +1 more source
Lightweight crypto for lightweight unmanned arial systems
2018 Integrated Communications, Navigation, Surveillance Conference (ICNS), 2018• Because they are real-time cyber-physical systems, UASs have cryptographic requirements that are very different from general IT cryptography. • General IT cryptography and the existing attempts at creating lightweight encryption algorithms cannot meet all UAS requirements. • Honeywell has developed ultra-lightweight encryption algorithms that perform
openaire +1 more source
Proceedings of the 7th international conference on Generative programming and component engineering, 2008
Extensive research efforts have been devoted to implement a group of type-safe mutually recursive classes; recently, proposals for separating each member of the group as a reusable and composable programming unit have also been presented. One problem of these proposals is verbosity of the source programs; we have to declare a recursive type parameter ...
Tetsuo Kamina, Tetsuo Tamai
openaire +1 more source
Extensive research efforts have been devoted to implement a group of type-safe mutually recursive classes; recently, proposals for separating each member of the group as a reusable and composable programming unit have also been presented. One problem of these proposals is verbosity of the source programs; we have to declare a recursive type parameter ...
Tetsuo Kamina, Tetsuo Tamai
openaire +1 more source
Lightweight aluminium wheelchair
Nursing Standard, 1988A new lightweight wheelchair, specially constructed to give increased mobility and easy use, is now on the market.
openaire +2 more sources
Computer Networks and ISDN Systems, 1995
Simon A. Dobson, Victoria A. Burrill
openaire +1 more source
Simon A. Dobson, Victoria A. Burrill
openaire +1 more source