8928 search results - page 292 / 1786 » Modeling Current Events |
143
click to vote
BCSHCI
2009
15 years 5 months ago
2009
User modelling is widely used in HCI but there are very few systematic HCI modelling tools for people with disabilities. We are developing user models to help with the design and ...
115
click to vote
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
143
Voted
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS ...
187
click to vote
SIMUTOOLS
2008
15 years 5 months ago
2008
MIPv6 is the IPv6 based mobility management protocol and it is expected to become the mobility management protocol of choice for the Next Generation Wireless Access Networks. In o...
120
click to vote
WSC
1998
15 years 5 months ago
1998
Constructing models of systems that change their structure over time has proved to be a challenging problem, with several proposed solutions. We present two of these approaches an...