Sciweavers

2963 search results - page 418 / 593
» On the Integration of Web Modeling Languages
Sort
View
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
16 years 6 months ago
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
Anders Møller, Peter Thiemann, Simon Holm J...
SEMWEB
2010
Springer
15 years 3 months ago
Evolution of DL - Lite Knowledge Bases
Abstract. We study the problem of evolution for Knowledge Bases (KBs) expressed in Description Logics (DLs) of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the t...
Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dm...
196
Voted
RULEML
2010
Springer
15 years 4 months ago
Visualizing Logical Dependencies in SWRL Rule Bases
Rule bases are common in many business rule applications, clinical decision support programs, and other types of intelligent systems. As the size of the rule bases grows and the in...
Saeed Hassanpour, Martin J. O'Connor, Amar K. Das
GEOINFO
2004
15 years 7 months ago
Ontology-driven Resolution of Semantic Heterogeneities in GDB Conceptual Schemas
: As the geographic information system (GIS) community grows, more and more people needs to share geographic information. As modern GIS data is stored in geographic databases their...
Guillermo Nudelman Hess, Cirano Iochpe
CSFW
2005
IEEE
15 years 11 months ago
End-to-End Availability Policies and Noninterference
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
Lantian Zheng, Andrew C. Myers