Sciweavers

346 search results - page 25 / 70
» COMA: A Tool for Collaborative Modeling
Sort
View
176
Voted
CLIMA
2011
14 years 18 days ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
ECWEB
2004
Springer
148views ECommerce» more  ECWEB 2004»
15 years 6 months ago
OCL-Constraints for UMM Business Collaborations
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...
Birgit Hofreiter, Christian Huemer, Werner Winiwar...
98
Voted
CG
2005
Springer
15 years 20 days ago
Enhancing collaboration in virtual reality applications
We derive a complete component framework for transforming standalone VR applications into full-fledged multithreaded Collaborative Virtual Reality Environments (CVREs), after char...
Víctor Theoktisto, Marta Fairén Gonz...
101
Voted
IIWAS
2008
15 years 2 months ago
On-the-fly collaboration in distributed systems through service semantic overlay
In the recent years distributed architectures and P2P technology have been adopted to better support effective collaboration among networked organizations. According to the P2P pa...
Devis Bianchini, Valeria De Antonellis, Michele Me...
CHI
2008
ACM
16 years 1 months ago
An exploratory study of visual information analysis
To design information visualization tools for collaborative use, we need to understand how teams engage with visualizations during their information analysis process. We report on...
Petra Isenberg, Anthony Tang, M. Sheelagh T. Carpe...