Sciweavers

7066 search results - page 364 / 1414
» Contact Relations with Applications
Sort
View
DIMVA
2006
15 years 8 months ago
Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs
Incomplete or improper input validation is one of the major sources of security bugs in programs. While traditional approaches often focus on detecting string related buffer overfl...
Ebrima N. Ceesay, Jingmin Zhou, Michael Gertz, Kar...
APVIS
2003
15 years 8 months ago
A Unified Taxonomic Framework for Information Visualization
© We present a taxonomy for Information Visualization (IV) that characterizes it in terms of data, task, skill and context, as well as a number of dimensions that relate to the in...
Darius Pfitzner, Vaughan Hobbs, David M. W. Powers
ICWS
2004
IEEE
15 years 8 months ago
Access Control for Semantic Web Services
In this paper we make a contribution to the proof and trust layer of the Semantic Web layer cake by integrating two well founded techniques, namely DAML-S (for describing Web serv...
Sudhir Agarwal, Barbara Sprick
WOA
2001
15 years 8 months ago
A Knowledge Modeling Tool for Rule-Based Agents
Different approaches to improve business process have been proposed. One of the most common techniques is based on software agents and workflow technology. A software agent can be...
Marco Repetto, Christian Vecchiola, Antonio Boccal...
AAAI
1998
15 years 8 months ago
Usability Issues in Knowledge Representation Systems
The amount of use a knowledge representation system receives depends on more than just the theoretical suitability of the system. Some critical determiners of usage have to do wit...
Deborah L. McGuinness, Peter F. Patel-Schneider