Results 251 to 260 of about 317,503 (304)
Some of the next articles are maybe not open access.
Nothing Lightweight About Lightweighting
Machinery, 2021The shift to lightweighting across manufacturing sectors is presenting benefits and challenges to machining shops. Justin Burns investigates
openaire +1 more source
Lightweight Parsing of Classifications into Lightweight Ontologies
2010Understanding metadata written in natural language is a premise to successful automated integration of large scale, language-rich, classifications such as the ones used in digital libraries. We analyze the natural language labels within classification by exploring their syntactic structure, we then show how this structure can be used to detect patterns
Aliaksandr Autayeu +2 more
openaire +2 more sources
Lightweight family polymorphism
Journal of Functional Programming, 2005Abstract Family polymorphism has been proposed for object-oriented languages as a solution to supporting reusable yet type-safe mutually recursive classes. A key idea of family polymorphism is the notion of families, which are used to group mutually recursive classes.
Atsushi Igarashi +2 more
openaire +3 more sources
Lightweight steganography on smartphones
CCNC 2006. 2006 3rd IEEE Consumer Communications and Networking Conference, 2006., 2006Steganography is an historical technique to send secret messages embedded into carrier messages. The intro- duction of computers provided very sophisticated techniques to create carrier messages, to embed the secret, and to detect steganographic messages.
AMOROSO, ALESSANDRO, M. Masotti
openaire +2 more sources
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 +2 more sources
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 +2 more sources
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
Software: Practice and Experience, 2007
AbstractIn embedded systems, the typical host/target development scheme normally requires a tracing mechanism to be available in the target system in order to collect run‐time information of the application. This information is then used in the host system to debug, monitor, fine tune, etc., the application.
Andrés Terrasa +2 more
openaire +2 more sources
AbstractIn embedded systems, the typical host/target development scheme normally requires a tracing mechanism to be available in the target system in order to collect run‐time information of the application. This information is then used in the host system to debug, monitor, fine tune, etc., the application.
Andrés Terrasa +2 more
openaire +2 more sources
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