Sciweavers

1425 search results - page 142 / 285
» Semantic Based Schema Analysis
Sort
View
AGP
1996
IEEE
14 years 2 months ago
Modular Analysis of Suspension Free cc Programs
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
Enea Zaffanella
FMAM
2010
157views Formal Methods» more  FMAM 2010»
13 years 8 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
CSFW
2012
IEEE
12 years 21 days ago
Gran: Model Checking Grsecurity RBAC Policies
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
Michele Bugliesi, Stefano Calzavara, Riccardo Foca...
ATAL
2005
Springer
14 years 3 months ago
Semantics of declarative goals in agent programming
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch....
IIR
2010
13 years 11 months ago
Semantic Vectors: an Information Retrieval Scenario
In this paper we exploit Semantic Vectors to develop an IR system. The idea is to use semantic spaces built on terms and documents to overcome the problem of word ambiguity. Word ...
Pierpaolo Basile, Annalina Caputo, Giovanni Semera...