180 search results - page 13 / 36 » N3Logic: A Logical Framework For the World Wide Web |
IEEEHPCS
2010
13 years 6 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
HICSS
1999
IEEE
13 years 12 months ago
1999
IEEE
The paper introduces an Internet based development system for Xputers, which combines an application development framework with a runtime support to run applications on the real h...
AI
2005
Springer
14 years 1 months ago
2005
Springer
The rapid growth of the World Wide Web has complicated the process of web browsing by providing an overwhelming wealth of choices for the end user. To alleviate this burden, intell...
BCSHCI
1997
13 years 9 months ago
1997
We review HCI problems with hypertext, and for authoring World Wide Web documents in particular. We suggest that a framework is required to understand the usability issues, and th...
HICSS
2002
IEEE
14 years 15 days ago
2002
IEEE
Digitization of information, the rise of the World Wide Web, and the development of new means for information creation, production and dissemination place new strains on the legal...