Sökning: "mobile just"

Visar resultat 1 - 5 av 51 avhandlingar innehållade orden mobile just.

1. 1. Psi-calculi: a framework for mobile process calculi : Cook your own correct process calculus - just add data and logic

   Författare :Magnus Johansson; Björn Victor; Joachim Parrow; Catuscia Palamidessi; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; process calculi; pi-calculus; bisimulation; operational semantics; nominal logic; Computer science; Datavetenskap; Datavetenskap; Computer Science;

   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

3. 2. MobiLeak : Security and Privacy of Personal Data in Mobile Applications

   Författare :Pasquale Stirparo; Sead Muftic; Steven Marcus Furnell; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; mobile application; security; privacy; android; forensics; malware; Informations- och kommunikationsteknik; Information and Communication Technology; Computer Science; Datalogi;

   Sammanfattning : Smartphones and mobile applications have become an essential part of our daily lives. People always carry their smartphones with them and rely on mobile applications for most of their tasks: from checking emails for personal or business purposes, to engaging in social interactions via social networks, from trading online or checking their bank accounts to communicating with families and friends through instant messaging applications. LÄS MER

4. 3. Going Live : Collaborative Video Production After Television

   Författare :Arvid Engström; Oskar Juhlin; Elizabeth Churchill; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Video; live; production; broadcasting; mobile; amateur; liveness; interaction design; collaboration; participatory media; Man-Machine-Interaction MMI ; människa-maskin-interaktion MMI ;

   Sammanfattning : This thesis explores social and creative practices that emerge with new mobile video technology. The work frames a design space that spans across both the social and technical domains. LÄS MER

5. 4. A Rich Context Model : Design and Implementation

   Författare :Alisa Sotsenko; Marc Jansen; Juan Ignacio Asensio Pèrez; Linnéuniversitetet; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Context modeling; rich context model; mobile users; current context of the user; mobile sensors; multidimensional vector space model; contextualization; Media Technology; Medieteknik;

   Sammanfattning : The latest developments of mobile devices include a variety of hardware features that allow for more rich data collection and services. Numerous sensors, Internet connectivity, low energy Bluetooth connectivity to other devices (e.g. LÄS MER

7. 5. Designing guidance along audio-haptically augmented paths in a city environment

   Författare :Delphine Szymczak; Certec - Rehabiliteringsteknik och Design; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Activity theory; Cultural historical; design; evaluation; iterative design; user-centered design; audio-tactile; multimodal; mobile; pedestrian navigation; scanning; tourist guide; vibration; in-use; focus; environment;

   Sammanfattning : The main purpose of this thesis is to show in a case study how it is possible to inform, with Activity Theory, the design and evaluation of a pedestrian navigation system that uses audio-tactile feedback. The case study consists of an iterative design process that results in a tourist guide application used in a mobile phone. LÄS MER