6614 search results - page 1260 / 1323 » Semantics of Information as Interactive Computation |
ICMCS
2009
IEEE
14 years 7 months ago
2009
IEEE
This paper presents a tool and a novel Fast Invariant Transform (FIT) algorithm for language independent e-documents access. The tool enables a person to access an e-document thro...
IJACTAICIT
2010
14 years 7 months ago
2010
In the e-age, internet and e-affairs are the composite blend of business process and technology; the organization must retain the state of computing system or risk malicious assau...
ICONFERENCE
2011
14 years 4 months ago
2011
The Internet provides a technical platform that can be used by start-ups in every country to launch innovative products for world markets. Yet, most of the successful Internet pro...
TVCG
2011
14 years 4 months ago
2011
—In this paper, we present the results of a human computer interaction experiment that compared the performance of the animation of dynamic graphs to the presentation of small mu...
EJWCN
2010
14 years 4 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...