Sciweavers

7040 search results - page 124 / 1408
» The Single Model Principle
Sort
View
DLOG
2009
13 years 6 months ago
Validating Process Refinement with Ontologies
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
Yuan Ren, Gerd Gröner, Jens Lemcke, Tirdad Ra...
FM
2009
Springer
153views Formal Methods» more  FM 2009»
13 years 6 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
ISOLA
2004
Springer
14 years 2 months ago
Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
Victor V. Kuliamin
WWW
2007
ACM
14 years 9 months ago
Modeling user behavior in recommender systems based on maximum entropy
We propose a model for user purchase behavior in online stores that provide recommendation services. We model the purchase probability given recommendations for each user based on...
Tomoharu Iwata, Kazumi Saito, Takeshi Yamada
BIRTHDAY
2005
Springer
14 years 2 months ago
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
Michael Beetz