Sciweavers

2232 search results - page 49 / 447
» Formal Modeling and Analysis of Organizations
Sort
View
PROMAS
2005
Springer
15 years 3 months ago
Implementing Multi-agent Systems Organizations with INGENIAS
In a multi-agent system, the organization determines the architecture of the whole system, and the way and policies for agent collaboration and interactions. Although this is a key...
Jorge J. Gómez-Sanz, Juan Pavón
CMOT
2004
83views more  CMOT 2004»
14 years 9 months ago
Networks, Fields and Organizations: Micro-Dynamics, Scale and Cohesive Embeddings
Social action is situated in fields that are simultaneously composed of interpersonal ties and relations among organizations, which are both usefully characterized as social netwo...
Douglas R. White, Jason Owen-Smith, James Moody, W...
CSB
2005
IEEE
114views Bioinformatics» more  CSB 2005»
15 years 3 months ago
EigenPhenotypes: Towards an Algorithmic Framework for Phenotype Discovery
Studying the genetic control of molecular, anatomical and/or morphological phenotypes in model organisms is a powerful tool in the functional analysis of a gene. The goal of our r...
Alexander Vaughan, Rahul Singh, Ilmi Yoon, Megumi ...
JSW
2008
105views more  JSW 2008»
14 years 9 months ago
Formal Models for Architecture Aspects and Their Weaving
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
Chunhua Yang, Haiyang Wang
DATE
2003
IEEE
128views Hardware» more  DATE 2003»
15 years 3 months ago
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
Wei Qin, Sharad Malik