Sciweavers

6239 search results - page 153 / 1248
» From Zinc to Design Model
Sort
View
AAAI
2007
15 years 9 months ago
Design of a Mechanism for Promoting Honesty in E-Marketplaces
In this paper, we explore the use of the web as an environment for electronic commerce. In particular, we develop a novel mechanism that creates incentives for honesty in electron...
Jie Zhang, Robin Cohen
197
Voted
IAT
2010
IEEE
15 years 5 months ago
Design and Evaluation of Explainable BDI Agents
It is widely acknowledged that providing explanations is an important capability of intelligent systems. Explanation capabilities are useful, for example, in scenario-based traini...
Maaike Harbers, Karel van den Bosch, John-Jules Ch...
BIRTHDAY
2007
Springer
16 years 1 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
IS
2012
14 years 2 months ago
On the refactoring of activity labels in business process models
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
Henrik Leopold, Sergey Smirnov 0002, Jan Mendling
COMPSAC
2006
IEEE
16 years 1 months ago
Design Structural Stability Metrics and Post-Release Defect Density: An Empirical Study
This paper empirically explores the correlations between a suite of structural stability metrics for object-oriented designs and post-release defect density. The investigated stab...
Mahmoud O. Elish, David C. Rine