Sökning: "Logical Framework"
Visar resultat 6 - 10 av 77 avhandlingar innehållade orden Logical Framework.
6. DyKnow : A Stream-Based Knowledge Processing Middleware Framework
Sammanfattning : As robotic systems become more and more advanced the need to integrate existing deliberative functionalities such as chronicle recognition, motion planning, task planning, and execution monitoring increases. To integrate such functionalities into a coherent system it is necessary to reconcile the different formalisms used by the functionalities to represent information and knowledge about the world. LÄS MER
7. Psi-calculi: a framework for mobile process calculi : Cook your own correct process calculus - just add data and logic
Sammanfattning : A psi-calculus is an extension of the pi-calculus with nominal data types for data structures, logical assertions, and conditions. These can be transmitted between processes and their names can be statically scoped as in the standard pi-calculus. LÄS MER
8. A framework for the development of archival information systems
Sammanfattning : In this thesis a framework for the development of an Archival Information Systems are proposed. IT community and long-term digital preservation research has not addressed the development of digital archival tools. It community addresses Archives and digital archiving almost as a storage place aimed for backup services. LÄS MER
9. Synchronization Protocols for a Compositional Real-Time Scheduling Framework
Sammanfattning : In this thesis we propose techniques to simplify the integration of subsystems while minimizing the overall amount of CPU resources needed to guarantee the schedulability of real-time tasks. In addition, we provide solutions to the problem of allowing for the use of logical resources requiring mutual exclusion. LÄS MER
10. Person-centered care in nurse-led outpatient rheumatology clinics. From experience to measurement
Sammanfattning : AbstractAim: To describe and understand patients’ experiences as a means to conceptualize and evaluate outpatient person-centered care (PCC) in nurse-led rheumatoid arthritis (RA) clinics.Methods: Persons with RA were interviewed about how they experienced their nurse-led outpatient care and about the meaning of living with persistent RA. LÄS MER