Sciweavers

4008 search results - page 448 / 802
» An expressive language of signatures
Sort
View
POLICY
2007
Springer
16 years 28 days ago
Towards Practical Security Monitors of UML Policies for Mobile Applications
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...
Fabio Massacci, Katsiaryna Naliuka
TGC
2007
Springer
16 years 28 days ago
Access Control Based on Code Identity for Open Distributed Systems
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
Andrew Cirillo, James Riely
WAIM
2007
Springer
16 years 28 days ago
CoXML: A Cooperative XML Query Answering System
Abstract. The heterogeneity nature of XML data creates the need for approximate query answering. In this paper, we present an XML system that cooperates with users to provide user-...
Shaorong Liu, Wesley W. Chu
ICTAI
2006
IEEE
16 years 26 days ago
Graph Grammar Induction on Structural Data for Visual Programming
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
Keven Ates, Jacek P. Kukluk, Lawrence B. Holder, D...
KBSE
2006
IEEE
16 years 25 days ago
Automatic Generation of Detection Algorithms for Design Defects
Maintenance is recognised as the most difficult and expansive activity of the software development process. Numerous techniques and processes have been proposed to ease the mainte...
Naouel Moha, Yann-Gaël Guéhéneu...