1061 search results - page 43 / 213 » A general definition of malware |
XIMEP
2005
ACM
14 years 2 months ago
2005
ACM
Markup languages, representations, schemas, and tools have significantly increased the ability for organizations to share their information. Languages such as the Extensible Marku...
ICCS
1998
Springer
14 years 22 days ago
1998
Springer
Internet-based information technologies have considerable potential for improving collaboration in professional communities. In this paper, we explain the concept of user-driven sp...
ASWC
2008
Springer
13 years 10 months ago
2008
Springer
Information sharing can be effective with structured data. However, there are several challenges for having structured data on the web. Creating structured concept definitions is ...
IJCAI
1993
13 years 9 months ago
1993
literal: Let p be a proposition. Then p and -p are literals. clause: A clause is a disjunction of literals. Horn Clause: A Horn Clause is a clause in which there is at most one po...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus...