Sciweavers

15635 search results - page 80 / 3127
» Modelling and Design of VAML
Sort
View
ICCCI
2009
Springer
15 years 11 months ago
Designing Social Agents with Empathic Understanding
This paper addresses the design of an agent model for a social agent capable of understanding other agents in an empathic way. The model describes how the empathic agent deals with...
Zulfiqar A. Memon, Jan Treur
OTM
2007
Springer
15 years 10 months ago
Pattern-Based Design and Validation of Business Process Compliance
In this paper we present a novel approach for the modeling and implementation of Internal Controls in Business Processes. The approach is based on the formal modeling of Internal C...
Kioumars Namiri, Nenad Stojanovic
SPIN
2010
Springer
15 years 2 months ago
Automatic Generation of Model Checking Scripts Based on Environment Modeling
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
Kenro Yatake, Toshiaki Aoki
ICECCS
2002
IEEE
99views Hardware» more  ICECCS 2002»
15 years 9 months ago
Using Role-Based Modeling Language (RBML) to Characterize Model Families
Cost-effective development of large, integrated computer-based systems can be realized through systematic reuse of development experiences throughout the development process. In t...
Dae-Kyoo Kim, Robert B. France, Sudipto Ghosh, Eun...