Sciweavers

4861 search results - page 241 / 973
» Parsimonious concept modeling
Sort
View
ZUM
2000
Springer
101views Formal Methods» more  ZUM 2000»
15 years 10 months ago
Analysis of Compiled Code: A Prototype Formal Model
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
R. D. Arthan
BPM
2005
Springer
96views Business» more  BPM 2005»
15 years 8 months ago
Business Process Modelling and Improvement Using TAD Methodology
Abstract. This paper aims at carrying out business process modelling and business process improvement using TAD methodology. The methodology consists of six phases; the first three...
Nadja Damij, Talib Damij
WONTO
2008
15 years 8 months ago
A Service-Oriented Architecture to Support Agent Reputation Models Interoperability
Agents are becoming a popular technology for the development of distributed, heterogeneous and always available systems. In those systems, interactions are essential, but semantic ...
Luis G. Nardin, Anarosa Brandão, Jaime Sim&...
AAAI
2004
15 years 8 months ago
Agent-Based Modeling with Social Networks for Terrorist Recruitment
The Seldon model combines concepts from agent-based modeling and social network analysis to create a computation model of social dynamics for terrorist recruitment. The underlying...
Teresa H. Ko, Nina M. Berry
JISBD
2003
15 years 8 months ago
A Conceptual Modelling Pattern for Roles
: A pattern identifies a problem and provides the specification of a generic solution to that problem. Conceptual modelling patterns are aimed at representing a specific structure ...
Ruth Raventós, Jordi Cabot