1054 search results - page 143 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
138
Voted
IJMMS
2008
15 years 4 months ago
2008
Although existing models of e-learning effectiveness in information systems (IS) have increased our understanding of how technology can support and enhance learning, most of our m...
153
Voted
FM
2006
Springer
15 years 7 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
152
click to vote
FOCS
2006
IEEE
15 years 10 months ago
2006
IEEE
Spin systems are a general way to describe local interactions between nodes in a graph. In statistical mechanics, spin systems are often used as a model for physical systems. In c...
141
click to vote
MM
1999
ACM
15 years 8 months ago
1999
ACM
—A user’s focus of attention plays an important role in human–computer interaction applications, such as a ubiquitous computing environment and intelligent space, where the u...
128
Voted
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
We studied 52 field examples interaction breakdown in information technology project virtual teams and actions leaders took to fix it using information and communication technolog...