Results 41 to 50 of about 665,037 (318)
Describing Secure Interfaces with Interface Automata
Electronic Notes in Theoretical Computer Science, 2010 AbstractInterface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface structure for security (ISS), that allows for the modelling of security. We focus on the property of non interference, more precisely in bisimulation-based non interference
Matias David Lee, Pedro R. D'Argenio
openaire +2 more sources
Enabling customized & personalized interfaces in mobile computing
, 2004 The 9th International Conference on Intelligent User Interfaces (IUI 2004), 13th-16th January, Island of Madeira, PortugalProviding an intuitive and ubiquitous interface to those services aimed at the mobile computing community continues to preoccupy ...
G. M. P. O'Hare +5 more
core +1 more source
Datasets of dissertation "Transport near slippery interfaces".
, 2016 Research data belonging to the dissertation 'Transport near slippery interfaces'. The data is grouped per publication (or per chapter in the dissertation)
Haase, A.S. (Sander)
core +1 more source
Toward subtle intimate interfaces for mobile devices using an EMG controller [PDF]
, 2005 Using a mobile device in a social context should not cause embarrassment and disruption to the immediate environment. Interaction with mobile and wearable devices needs to be subtle, discreet and unobtrusive.
Costanza, Enrico +5 more
core +1 more source
Third International Workshop on Hardware/Software Codesign, 2002 This paper proposes a model for specifying interfaces between concurrently executing modules of a computing system. The model does not prescribe a particular type of communication protocol and is aimed at describing interfaces between both software and hardware modules or a combination of the two.
Ravn, Anders P., Staunstrup, Jørgen
openaire +1 more source
Exploring Cube Affordance: Towards Classification of Non-Verbal dynamics of Physical Interfaces For Wearable Computing [PDF]
, 2003 . Current input technologies for wearable computers are difficult to use and learn and can be unreliable. Physical interfaces offer an alternative to traditional input methods.
Short, B. +16 more
core +1 more source
, 2021 Qu’il s’agisse de réseaux sociaux, de plateformes de partage, de services de cartographie, ou encore de moteurs de recherche, les systèmes d’information de la Toile ne remplissent pas uniquement des fonctions utilitaires. Ils nous invitent à participer à
Di Bartolo, Florent
core +1 more source
An interface to an interface to an interface
, 2020 The paper relates some experiences from a recent production of orchestrating Conlon Nancarrow Piano Studies for performance on Pipe Organ. Reflections that surfaced during this work concerned the layered nature of interfaces, automation (and thus allusions to the different conceptions of artificial intelligence), and leaky abstractons.
openaire +1 more source
FEBS Letters, EarlyView.The Ile181Asn variant of human UDP‐xylose synthase (hUXS1), associated with a short‐stature genetic syndrome, has previously been reported as inactive. Our findings demonstrate that Ile181Asn‐hUXS1 retains catalytic activity similar to the wild‐type but exhibits reduced stability, a looser oligomeric state, and an increased tendency to precipitate ...
Tuo Li +2 more
wiley +1 more source
Interfaces for Science: Conceptualizing an Interactive Graphical Interface [PDF]
, 2019 This work has been supported by COMPETE: POCI-01-0145-FEDER-007043 and FCT - Fundação para a Ciência e Tecnologia within the Project Scope: (UID/CEC/00319/2013) and the Project IViSSEM: ref: POCI-01-0145-FEDER-28284.
Bruno Azevedo +4 more
openaire +3 more sources