2004 search results - page 232 / 401 » Comparison of Model Checking Tools for Information Systems |
136
click to vote
RCIS
2010
15 years 2 months ago
2010
Every interactive system has a functional part and an interactive part. However the software engineering and the human-computer-interaction communities work separately in terms of ...
156
click to vote
CSMR
2009
IEEE
15 years 9 months ago
2009
IEEE
Creating accurate models of information systems is an important but challenging task. It is generally well understood that such modeling encompasses general scientific issues, bu...
144
click to vote
WSC
2007
15 years 7 months ago
2007
Agent-based simulation provides a methodology to investigate complex systems behavior, such as supply chains, while incorporating many empirical elements relative to both systems ...
149
click to vote
AIME
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Mammographic analysis is a difficult task due to the complexity of image interpretation. This results in diagnostic uncertainty, thus provoking the need for assistance by...
148
click to vote
ISMAR
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper presents a model-based hybrid tracking system for outdoor augmented reality in urban environments enabling accurate, realtime overlays for a handheld device. The system...