Sciweavers

1499 search results - page 213 / 300
» Case Study: An Implementation of a Secure Steganographic Sys...
Sort
View
FSEN
2009
Springer
15 years 10 months ago
Specification and Validation of Behavioural Protocols in the rCOS Modeler
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
Zhenbang Chen, Charles Morisset, Volker Stolz
HICSS
2007
IEEE
129views Biometrics» more  HICSS 2007»
16 years 24 days ago
The Impact of Negative Relations on Performance and Satisfaction in Group Work
This paper reports on a case study conducted to guide the design and implementation of a group support system. Network analysis of student self-reported interactions was conducted...
Ling Xia, N. Sadat Shami, Y. Connie Yuan, Geri Gay
ICALT
2007
IEEE
16 years 24 days ago
A Collaborative Support Tool for Creativity Learning: Idea Storming Cube
Creativity plays an important role in many learning activities but how to enhance creativity with the support of modern computer tools deserves further studies. In this paper, we ...
Chun-Chieh Huang, Tsai-Yen Li, Hao-Chuan Wang, Chu...
ISPDC
2010
IEEE
15 years 5 months ago
Practical Uniform Peer Sampling under Churn
—Providing independent uniform samples from a system population poses considerable problems in highly dynamic settings, like P2P systems, where the number of participants and the...
Roberto Baldoni, Marco Platania, Leonardo Querzoni...
AC
2003
Springer
15 years 11 months ago
Petri Nets and Manufacturing Systems: An Examples-Driven Tour
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...
Laura Recalde, Manuel Silva, Joaquin Ezpeleta, Enr...