Sciweavers

200 search results - page 26 / 40
» Analyzing Interactions of Asynchronously Communicating Softw...
Sort
View
AMAST
1995
Springer
15 years 2 months ago
A Calculus of Countable Broadcasting Systems
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki
HCI
2009
14 years 8 months ago
Supporting Multidisciplinary Teams and Early Design Stages Using Storyboards
Current tools for multidisciplinary teams in user-centered software engineering (UCSE) provide little support for the different approaches of the various disciplines in the project...
Mieke Haesen, Jan Meskens, Kris Luyten, Karin Coni...
EUROSYS
2009
ACM
15 years 7 months ago
User interactions in social networks and their implications
Social networks are popular platforms for interaction, communication and collaboration between friends. Researchers have recently proposed an emerging class of applications that l...
Christo Wilson, Bryce Boe, Alessandra Sala, Krishn...
SOCO
2009
Springer
15 years 5 months ago
Specifying and Composing Non-functional Requirements in Model-Based Development
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, T...
IUI
2012
ACM
13 years 6 months ago
Using intelligent natural user interfaces to support sales conversations
During sales conversations, gestures and mimics are of high importance to communicate information about a product. One prominent example for such sales gestures is the meat and ch...
Sven Gehring, Markus Löchtefeld, Florian Daib...