Sciweavers

70 search results - page 4 / 14
» Palmprint Verification Using Consistent Orientation Coding
Sort
View
CSE
2009
IEEE
13 years 3 months ago
Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
Abstract--A widespread design approach in distributed applications based on the service-oriented paradigm, such as web-services, consists of clearly separating the enforcement of a...
Michele Barletta, Silvio Ranise, Luca Viganò...
ICSE
2008
IEEE-ACM
14 years 6 months ago
CodeCity: 3D visualization of large-scale software
CODECITY is a language-independent interactive 3D visualization tool for the analysis of large software systems. Using a city metaphor, it depicts classes as buildings and package...
Richard Wettel, Michele Lanza
FMOODS
2006
13 years 7 months ago
Defining Object-Oriented Execution Semantics Using Graph Transformations
In this paper we describe an application of the theory of graph transformations to the practise of language design. In particular, we have defined the static and dynamic semantics ...
Harmen Kastenberg, Anneke Kleppe, Arend Rensink
ECMDAFA
2006
Springer
166views Hardware» more  ECMDAFA 2006»
13 years 9 months ago
Dynamic Logic Semantics for UML Consistency
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
Greg O'Keefe
ICSM
2002
IEEE
13 years 11 months ago
Static and Dynamic C++ Code Analysis for the Recovery of the Object Diagram
When a software system enters the maintenance phase, the availability of accurate and consistent information about its organization can help alleviate the difficulties of program...
Paolo Tonella, Alessandra Potrich