Sciweavers

3451 search results - page 213 / 691
» Collaborative attack modeling
Sort
View
ICWL
2009
Springer
16 years 26 days ago
Social Reference Model for Adaptive Web Learning
In this paper, we describe the design steps of extending LAOS, a five-layer framework for generic adaptive web learning authoring, by adding a social layer to capture (and adapt) i...
Fawaz Ghali, Alexandra I. Cristea
ESCIENCE
2007
IEEE
15 years 10 months ago
Formal Modeling and Analysis of Scientific Workflows Using Hierarchical State Machines
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...
Ping Yang, Zijiang Yang, Shiyong Lu
IFM
2010
Springer
147views Formal Methods» more  IFM 2010»
15 years 4 months ago
Symbolic Model-Checking of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach, used in many collaborative editors, allows a group of users to concurrently update replicas of a shared object and exchange ...
Hanifa Boucheneb, Abdessamad Imine, Manal Najem
ICML
2005
IEEE
16 years 7 months ago
Fast maximum margin matrix factorization for collaborative prediction
Maximum Margin Matrix Factorization (MMMF) was recently suggested (Srebro et al., 2005) as a convex, infinite dimensional alternative to low-rank approximations and standard facto...
Jason D. M. Rennie, Nathan Srebro
CHI
2005
ACM
16 years 6 months ago
The value of shared visual space for collaborative physical tasks
The goal of this research is to elucidate the ways shared visual space supports group communication and performance. This work involves three stages: a series of empirical studies...
Darren Gergle