Sciweavers

2525 search results - page 90 / 505
» A Framework for Semantic Gossiping
Sort
View
RE
2010
Springer
15 years 1 months ago
A UML-based static verification framework for security
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
Igor Siveroni, Andrea Zisman, George Spanoudakis
IFM
1999
Springer
101views Formal Methods» more  IFM 1999»
15 years 10 months ago
A Modular Framework for the Integration of Heterogeneous Notations and Tools
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...
Robert Büssow, Wolfgang Grieskamp
WICSA
2001
15 years 7 months ago
Annotating Reusable Software Architectures with Specialization Patterns
An application framework is a collection of classes implementing the shared architecture of a family of applications. It is shown how the specialization interface ("hot spots...
Markku Hakala, Juha Hautamäki, Kai Koskimies,...
ICTAI
2009
IEEE
16 years 29 days ago
Translation of an Argumentation Framework into a CP-Boolean Game
Abstract—There already exist some links between argumentation and game theory. For instance, dynamic games can be used for simulating interactions between agents in an argumentat...
Elise Bonzon, Caroline Devred, Marie-Christine Lag...
AI
2005
Springer
15 years 12 months ago
Towards an Ontology-Based Spatial Clustering Framework
Spatial clustering is an important topic in knowledge discovery research. However, most clustering methods do not consider semantic information during the clustering process. In th...
Xin Wang, Howard J. Hamilton