805 search results - page 124 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
CSCW
1996
ACM
15 years 7 months ago
1996
ACM
Much of the support for communication across distributed communities has focused on meetings and intentional contact. However, most interactions within co-located groups occur whe...
117
click to vote
APN
2008
Springer
15 years 5 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
121
click to vote
ACMACE
2008
ACM
15 years 5 months ago
2008
ACM
Dimensionality reduction is a statistical tool commonly used to map high-dimensional data into lower a dimensionality. The transformed data is typically more suitable for regressi...
139
click to vote
IFM
2010
Springer
15 years 1 months ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
147
click to vote
ACMDIS
2006
ACM
15 years 9 months ago
2006
ACM
People often use powerful tools to manage the documents they encounter, but very rarely to store the mental knowledge they glean from those documents. Popcorn is a personal knowle...