Sciweavers

409 search results - page 54 / 82
» Approaching a Discrete-Continuous UML: Tool Support and Form...
Sort
View
CCS
2006
ACM
15 years 5 months ago
A scalable approach to attack graph generation
Attack graphs are important tools for analyzing security vulnerabilities in enterprise networks. Previous work on attack graphs has not provided an account of the scalability of t...
Xinming Ou, Wayne F. Boyer, Miles A. McQueen
IEAAIE
2003
Springer
15 years 7 months ago
Intelligent Support for Solving Classification Differences in Statistical Information Integration
Integration of heterogeneous statistics is essential for political decision making on all levels. Like in intelligent information integration in general, the problem is to combine ...
Catholijn M. Jonker, Tim Verwaart
FAC
2000
114views more  FAC 2000»
15 years 1 months ago
Representational Reasoning and Verification
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
Gavin J. Doherty, José Creissac Campos, Mic...
ICEBE
2007
IEEE
174views Business» more  ICEBE 2007»
15 years 8 months ago
Worksheet-Driven UMM Modeling of B2B Services
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
Christian Huemer, Marco Zapletal, Philipp Liegl, R...
109
Voted
ICCSA
2009
Springer
15 years 8 months ago
Designing Data Warehouses for Geographic OLAP Querying by Using MDA
Data aggregation in Geographic Information Systems (GIS) is a desirable feature, spatial data are integrated in OLAP engines for this purpose. However, the development and operatio...
Octavio Glorio, Juan Trujillo