Sciweavers

315 search results - page 5 / 63
» Taxonomy for Integrating Models in the Development of Intera...
Sort
View
CSCWD
2009
Springer
14 years 3 months ago
Using Petri Nets to specify collaborative three dimensional interaction
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
Rafael Rieder, Marcio Sarroglia Pinho, Alberto Bar...
COMPSAC
2002
IEEE
14 years 1 months ago
Towards a Software Architecture for Distributed and Mobile Collaborative Systems
Current trends in collaborative business emphasize the importance of business process support within and between organizations. These process participants are increasingly distrib...
Schahram Dustdar, Harald Gall
DSVIS
1998
Springer
14 years 1 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
Meurig Sage, Chris Johnson
WSC
2000
13 years 10 months ago
System dynamics modelling in supply chain management: research review
The use of System Dynamics Modeling in Supply Chain Management has only recently re-emerged after a lengthy slack period. Current research on System Dynamics Modelling in supply c...
Bernhard J. Angerhofer, Marios C. Angelides
ICECCS
1998
IEEE
110views Hardware» more  ICECCS 1998»
14 years 1 months ago
Risk Assessment and Integrity in System Design
All systems, regardless of how carefully they have been constructed, suffer failures. This paper focuses on developing a formal understanding of failure with respect to system imp...
Raymond Berg, Victor L. Winter