Sciweavers

5227 search results - page 828 / 1046
» Enterprise modeling using class and instance models
Sort
View
FMCO
2008
Springer
133views Formal Methods» more  FMCO 2008»
15 years 7 months ago
BML and Related Tools
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert
AMW
2010
15 years 7 months ago
Logic Programs for Repairing Inconsistent Dimensions in Data Warehouses
A Data Warehouse (DW) is a data repository that integrates data from multiple sources and organizes the data according to a set of data structures called dimensions. Each dimension...
Loreto Bravo, Mónica Caniupán Marile...
IADIS
2008
15 years 7 months ago
Obtaining User Profiles Via Web Usage Mining
In this paper, we present a model to obtain and analyze user profiles after a process of web usage mining where log files are processed. The web log files register the activity of...
Maria J. Martín-Bautista, María Ampa...
CORR
2010
Springer
79views Education» more  CORR 2010»
15 years 6 months ago
Quantitative Games on Probabilistic Timed Automata
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...
Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Triv...
CN
2006
99views more  CN 2006»
15 years 6 months ago
P2P reputation management: Probabilistic estimation vs. social networks
Managing trust is a key issue for a wide acceptance of P2P computing, particularly in critical areas such as e-commerce. Reputation-based trust management has been identified in t...
Zoran Despotovic, Karl Aberer