Sciweavers

789 search results - page 87 / 158
» A Formal Model for Epistemic Interactions
Sort
View
CHI
2007
ACM
14 years 8 months ago
Software design and engineering as a social process
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...
William A. Stubblefield, Tania L. Carson
ACSD
2003
IEEE
151views Hardware» more  ACSD 2003»
14 years 1 months ago
Communicating Transaction Processes
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
Abhik Roychoudhury, P. S. Thiagarajan
SOCA
2008
IEEE
13 years 8 months ago
Specification of realizable service conversations using collaboration diagrams
Specification, modeling and analysis of interactions among peers that communicate via messages are becoming increasingly important due to the emergence of service oriented computi...
Tevfik Bultan, Xiang Fu
FMSB
2008
142views Formal Methods» more  FMSB 2008»
13 years 9 months ago
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...
David Harel, Yaki Setty
IUI
2006
ACM
14 years 2 months ago
Automatic construction of personalized customer interfaces
Interface personalization can improve a user’s performance and subjective impression of interface quality and responsiveness. Personalization is difficult to implement as it req...
Robert Price, Russell Greiner, Gerald Häubl, ...