Sciweavers

2232 search results - page 101 / 447
» Formal Modeling and Analysis of Organizations
Sort
View
IAT
2007
IEEE
16 years 23 days ago
Dynamic Data Driven Multi-Agent Simulation
Networks of sensors and simulation models of the physical environment have been implemented separately, often using agent-based methodologies. Some work has been done in providing...
Gary M. Pereira
CAISE
2004
Springer
15 years 11 months ago
Business Process Modeling Tools for Modeling of Organizational Structure
We can use Business Process Modeling (BPM) tools for modeling the organizational structure, however, there are many imperfections in the existing BPM tools that hinder the process ...
Renate Sprice, Uldis Eihenbergs
EUROMICRO
2000
IEEE
15 years 10 months ago
Reliability Analysis of a Self-Repairing Embryonic Machine
The embryonics project proposes a family of cellular architectures with reconfiguration properties inspired by the ontogenesis of multicellular organisms. This paper proposes relia...
Cesar Ortega-Sanchez, Andrew M. Tyrrell, Daniel Ma...
TSD
2007
Springer
16 years 16 days ago
Inducing Classes of Terms from Text
This paper describes a clustering method for organizing in semantic classes a list of terms. The experiments were made using a POS annotated corpus, the ACL Anthology, which consis...
Pablo Gamallo, Gabriel Pereira Lopes, Alexandre Ag...
ECEASST
2006
92views more  ECEASST 2006»
15 years 6 months ago
An MDA Framework Supporting OCL
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
Achim D. Brucker, Jürgen Doser, Burkhart Wolf...