1007 search results - page 91 / 202 » The Complexity of Futile Questioning |
WER
2007
Springer
15 years 7 months ago
2007
Springer
Complex information systems have numerous design variables that are systematically decided upon during the design process. In high-variability systems, some of these decisions are...
CW
2006
IEEE
15 years 7 months ago
2006
IEEE
Despite its history of several decades and impressive achievements, developing a VR application is still a complex task. Setting-up a Virtual Environment requires choosing a suita...
118
click to vote
ICDE
2006
IEEE
15 years 7 months ago
2006
IEEE
Just as the link structure of the web is a critical component in today's web search, complex relationships (i.e., the different ways the dots are connected) will be an import...
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
The question of why individuals adopt a particular information system is an important issue in IS research. While extensive prior research has established that the Technology Acce...
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...