2004 search results - page 128 / 401 » Comparison of Model Checking Tools for Information Systems |
162
click to vote
JCISE
2002
15 years 4 months ago
2002
Online resources of engineering design information are a critical resource for practicing engineers. These online resources often contain references and content associated with te...
173
click to vote
CAISE
2009
Springer
15 years 11 months ago
2009
Springer
Projects are the executors of organizational change and hence in charge of the managed evolution of the application landscape in the context of enterprise architecture (EA) managem...
145
Voted
ISI
2008
Springer
15 years 4 months ago
2008
Springer
We present a generative model for determining the information content of a message without analyzing the message content. Such a tool is useful for automated analysis of the vast ...
192
click to vote
APCCM
2009
15 years 6 months ago
2009
Existing HTML mark-up is used only to indicate the structure and lay-out of documents, but not the document semantics. As a result web documents are difficult to be semantically p...
134
click to vote
HRI
2009
ACM
15 years 11 months ago
2009
ACM
This paper investigates the potential usefulness of viewing the system of human, robot, and environment as an “information pipeline” from environment to user and back again. I...