2813 search results - page 486 / 563 » Formalizing Architectural Connection |
138
click to vote
AGENTS
2001
Springer
15 years 7 months ago
2001
Springer
We present a framework that enables a belief-desire-intention (BDI) agent to dynamically choose its intention reconsideration policy in order to perform optimally in accordance wi...
140
click to vote
HYBRID
2001
Springer
15 years 7 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...
141
click to vote
MMMACNS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
108
click to vote
IDEAS
2000
IEEE
15 years 7 months ago
2000
IEEE
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...
125
click to vote
IWSSD
2000
IEEE
15 years 7 months ago
2000
IEEE
We seek to facilitate development of high quality software designs and architectures by using rigorous process definitions to guide application of the complex structure of relati...