Sciweavers

2570 search results - page 270 / 514
» The Semantic Web And Its Languages
Sort
View
WWW
2001
ACM
16 years 7 months ago
An Effective and User-Friendly IDE Tool to Facilitate Conceptual Design and Maintenance of Web Applications
Web applications are growing in demand, complexity and size, thus making it difficult to systematically design and maintain general web applications. To aid in fulfilling these di...
Vincent Tam, C. S. Yeo
RAID
2007
Springer
16 years 24 days ago
Swaddler: An Approach for the Anomaly-Based Detection of State Violations in Web Applications
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
Marco Cova, Davide Balzarotti, Viktoria Felmetsger...
ECAI
2010
Springer
15 years 4 months ago
LTL Goal Specifications Revisited
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
Andreas Bauer 0002, Patrik Haslum
CSFW
2004
IEEE
15 years 10 months ago
By Reason and Authority: A System for Authorization of Proof-Carrying Code
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
Nathan Whitehead, Martín Abadi, George C. N...
DEXAW
2002
IEEE
107views Database» more  DEXAW 2002»
15 years 11 months ago
Semi-Automated Extraction of Ontological Knowledge from XML Datasources
In the paper we present a methodology for the semiautomated extraction of ontological knowledge from XML data sources in a given domain. We consider an interconnection scenario ov...
Silvana Castano, Valeria De Antonellis, Sabrina De...