1676 search results - page 226 / 336 » Formal Development of Self-organising Systems |
HYBRID
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. In a biological cell, cellular functions and the genetic regulatory apparatus are implemented and controlled by a network of chemical reactions in which regulatory protei...
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
The paper focuses on investigating the combined use of semantic and structural information of programs to support the comprehension tasks involved in the maintenance and reenginee...
103
click to vote
DBSEC
2001
14 years 11 months ago
2001
: In this paper we introduce a series of reference models for Secure Role-Based Workflow systems. We build our models over the well-known RBAC96 framework. 96 model supports the no...
AAMAS
2000
Springer
14 years 9 months ago
2000
Springer
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
CORR
2002
Springer
14 years 9 months ago
2002
Springer
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...