805 search results - page 105 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
119
click to vote
HEURISTICS
2010
14 years 10 months ago
2010
The challenge in shift scheduling lies in the construction of a set of work shifts, which are subject to specific regulations, in order to cover fluctuating staff demands. This pro...
159
click to vote
BCSHCI
2009
15 years 29 days ago
2009
This paper presents research that engages with virtual worlds for education users to understand design of these applications for their needs. An in-depth multi-method investigatio...
136
click to vote
SIGSOFT
1998
ACM
15 years 7 months ago
1998
ACM
The design of a class hierarchy may be imperfect. For example, a class C may contain a member m not accessed in any C-instance, an indication that m could be eliminated, or moved ...
161
click to vote
ACSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
124
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Most instruments - formalisms, concepts, and metrics for social networks analysis fail to capture their dynamics. Typical systems exhibit different scales of dynamics, ra...