71 search results - page 12 / 15 » Modeling Organizational Rules in the Multi-agent Systems Eng... |
KBSE
1999
IEEE
14 years 9 days ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
ICSM
2006
IEEE
14 years 2 months ago
2006
IEEE
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...
IJSKD
2011
13 years 3 months ago
2011
Meta-design of socio-technical systems is an approach which complies with the need of integrating two different types of structures and processes: technical systems which are engi...
APIN
1999
13 years 7 months ago
1999
Real-world electrical engineering problems can take advantage of the last Data Analysis methodologies. In this paper we will show that Genetic Fuzzy Rule-Based Systems and Genetic ...
EDOC
2005
IEEE
14 years 1 months ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...