All Stories

  1. Modular language product lines
  2. Intelligent Smart Contracts for Innovative Supply Chain Management
  3. Networks of Reaction Systems
  4. Capturing and using context in a mobile annotation application
  5. Reaction systems with influence on environment
  6. A Novel Approach for Secure In-class Delivery of Educational Content via Mobile Routers with Functionally Enhanced Firmware
  7. BYOD Collaborative Storytelling in Tangible Technology-Enhanced Language Learning Settings
  8. Modal Epistemic Logic on Contracts: A Doctrinal Approach
  9. BioWebEngine: A generation environment for bioinformatics research
  10. A dataflow platform for applications based on Linked Data
  11. A dataflow platform for applications based on Linked Data
  12. PeachVar-DB: A Curated Collection of Genetic Variations for the Interactive Analysis of Peach Genome Data
  13. Tangible Technology-Enhanced Learning for Improvement of Student Collaboration
  14. Firmware Enhancements for BYOD-Aware Network Security
  15. Supporting group collaboration in an annotation system
  16. Prefix–suffix square reduction
  17. Networks of polarized multiset processors
  18. A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
  19. Resource-aware policies
  20. Type Annotation for Adaptive Systems
  21. Mobiles and Wearables
  22. Networks of picture processors as problem solvers
  23. Rewriting of models according to patterns and rewriting of patterns according to basic operators
  24. A human computer interactions framework for biometric user identification
  25. An interactive tool for sketch-based annotation
  26. FedUp! Cloud Federation as a Service
  27. Using blocks to get more blocks: Exploring linked data through integration of queries and result sets in block programming
  28. Linked Data Queries as Jigsaw Puzzles
  29. Creation and use of service-based Distributed Interactive Workspaces
  30. Relevance measures for the creation of groups in an annotation system
  31. SWOWS and dynamic queries to build browsing applications on linked data
  32. What do I need? A resource-based perspective on visual communication and interaction
  33. Annotating spiders with resource information
  34. Collaborative multimedia content creation and sharing by older adults
  35. Users-groups matching in an annotation system: Ontological and URL relevance measures
  36. A Dataflow Platform for In-silico Experiments Based on Linked Data
  37. Accepting Networks of Evolutionary Picture Processors
  38. Coloured Modelling Spider Diagrams
  39. Theory and Practice of Natural Computing
  40. Annotation processes for flexible management of contextual information
  41. Towards a flexible architecture for interaction with augmented surfaces
  42. Spider Graphs: a graph transformation system for spider diagrams
  43. " Do the gestures you think of "
  44. Policy enforcement and verification with Timed Modeling Spider Diagrams
  45. Constructing collaborative services through augmented documents and objects
  46. Euler diagram codes
  47. 2 nd Workshop on Graphical Modeling Language Development
  48. Extending Spider Diagrams for policy definition
  49. Using ontologies for users-groups matching in an annotation system
  50. Enabling End Users to Create, Annotate and Share Personal Information Spaces
  51. Keeping “InTOUCH”: An Ongoing Co-design Project to Share Memories, Skills and Demands through an Interactive Table
  52. Stories and signs in an e-learning environment for deaf people
  53. Annotating Significant Relations on Multimedia Web Documents
  54. Experimenting dele
  55. SWift
  56. Spatial and temporal aspects in visual interaction
  57. Euler Diagram Encodings
  58. Policy specifications with Timed Spider Diagrams
  59. Complexity-preserving simulations among three variants of accepting networks of evolutionary processors
  60. Light-Weight Composition of Personal Documents from Distributed Information
  61. A resource-based framework for interactive composition of multimedia documents
  62. Context Insertions
  63. Formalising Interaction Patterns
  64. Personalised Resource Categorisation Using Euler Diagrams
  65. Towards a Formal Notion of Interaction Pattern
  66. A language-independent and formal approach to pattern-based modelling with support for composition and analysis
  67. Formalising design and interaction patterns and their relationships
  68. Interacting annotations in MADCOW 2.0
  69. Coloured Euler Diagrams: A Tool for Visualizing Dynamic Systems and Structured Information
  70. Facilitating interaction and retrieval for annotated documents
  71. Managing Groups and Group Annotations in madcow
  72. Shape-based computations on regular processor networks
  73. Special issue on selected papers from VL/HCC 2008: Guest Editors’ introduction
  74. e-Document management in situated interactivity: the WIL approach
  75. A Dynamic Environment for Video Surveillance
  76. Filter Position in Networks of Evolutionary Processors Does Not Matter: A Direct Proof
  77. Formal Foundation for Pattern-Based Modelling
  78. Networks of Evolutionary Picture Processors with Filtered Connections
  79. Enforced generative patterns for the specification of the syntax and semantics of visual languages
  80. Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse
  81. Transdisciplinary Digital Art. Sound, Vision and the New Screen
  82. A General-Purpose Context Modeling Architecture for Adaptive Mobile Services
  83. Foreword
  84. Pointed pictures
  85. Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages
  86. Antecedents to End Users' Success in Learning to Program in an Introductory Programming Course
  87. Use of a dual-core DSP in a low-cost, touch-screen based musical instrument
  88. Interactive composition, performance and music generation through iterative structures
  89. Visual interaction: models, systems, prototypes. The Pictorial Computing Laboratory at the University of Rome “La Sapienza”
  90. CHAMBRE
  91. Constraining Concrete Syntax via Metamodel Information
  92. Languages, tasks and roles: modeling interaction through resources.
  93. MADCOW
  94. Multimedia Content Representation, Classification and Security
  95. Storing and retrieving multimedia web notes
  96. High-level replacement units and their termination properties
  97. Termination of High-Level Replacement Units with Application to Model Transformation
  98. Superposition Based on Watson–Crick-Like Complementarity
  99. Generating multimedia content with cellular automata
  100. Definition of visual processes in a language for expressing transitions
  101. MADCOW
  102. Specifying Integrated Refactoring with Distributed Graph Transformations
  103. Dynamic aspects of visual modelling languages
  104. Coordinated Distributed Diagram Transformation for Software Evolution1 1Partially supported by the EC under Research and Training Network SeGraVis.
  105. Databases in Networked Information Systems
  106. Analyzing, modelling, and specifying visual interaction
  107. Modeling visual interactive systems through dynamic visual languages
  108. Membrane systems with promoters/inhibitors
  109. Rewriting P Systems with Conditional Communication
  110. On the Definition of Visual Languages and Their Editors
  111. Computing with Shapes
  112. ≪UML≫ 2001 — The Unified Modeling Language. Modeling Languages, Concepts, and Tools
  113. Deductive Parsing of Visual Languages
  114. Visual Multiset Rewriting: Applications to Diagram Parsing and Reasoning
  115. ON THE POWER OF PICTORIAL LANGUAGES
  116. On a Uniform Representation of Transformation Systems
  117. Consistency Checking and Visualization of OCL Constraints
  118. From Formulae to Rewriting Systems
  119. Specification and dialogue control of visual interaction through visual rewriting systems
  120. On Orders in Visual Interaction
  121. Specifying Dialog Control in Visual Interactive Systems
  122. Situated Image Understanding in a Multiagent Framework
  123. Successful visual human-computer interaction is undecidable
  124. A completely visual environment for agent-based computing
  125. Matching the resolution level to salient image features
  126. A notion of information related to computation
  127. On controlling rewriting by properties of strings and symbols
  128. Defining visual languages for interactive computing
  129. Distributed plan construction and execution for medical image interpretation
  130. Structural characterisation of image processing operators
  131. A dynamical organisation for situated image interpretation
  132. A system for form-feature-based interpretation of technical drawings
  133. LiSEB
  134. Metareasoning in the determination of image interpretation strategies
  135. Cooperative Visual Environments for the Design of Effective Visual Systems
  136. Catalyzed Carbon Gasification Studied by Scanning Tunneling Microscopy and Atomic Force Microscopy
  137. An APL rule-based system architecture for image interpretation strategies
  138. Modeling of biological and medical systems: a systemic strategy
  139. Definition of image interpretation strategies in APL
  140. Knowledge-based contextual recognition and sieving of digital images
  141. Plastic visual tools
  142. Formalising visual languages
  143. CoPuppet : Collaborative Interaction in Virtual Puppetry
  144. A Cooperative-Relational Approach to Digital Libraries
  145. A Transformation-Based Metamodel Approach to the Definition of Syntax and Semantics of Diagrammatic Languages
  146. Differences and Identities in Document Retrieval in an Annotation Environment
  147. The Theory of Visual Sentences to Formalize Interactive Visual Languages
  148. Visual And Diagrammatic Languages
  149. Resource-Based Models of Visual Interaction: Understanding Errors
  150. Specifying Coherent Refactoring Software Artefacts with Distributed Graph Transformations
  151. A Suite of Metamodels as a Basis for a Classification of Visual Languages
  152. Configurations and transitions in visual languages
  153. Towards formal measures of usability for visual interactive systems
  154. On a uniform logical framework for diagrammatic reasoning
  155. Multilevel modelling and design of visual interactive systems
  156. Efficient parsing of visual languages based on critical pair analysis and contextual layered graph transformation
  157. Principled design of visual languages for interaction
  158. On the specification of dynamic visual languages
  159. Metareasoning as a tool for pattern recognition
  160. Empirical plausible reasoning by multiple-valued logic