13181 search results - page 2498 / 2637 » Design and Implementation of Cohesion |
157
click to vote
CAV
2005
Springer
16 years 20 hour ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
232
click to vote
DAMAS
2005
Springer
16 years 15 hour ago
2005
Springer
We present a novel cognitive agent architecture and demonstrate its effectiveness in the Sense and Respond Logistics (SRL) domain. Effective applications to support SRL must antic...
204
click to vote
DCOSS
2005
Springer
16 years 15 hour ago
2005
Springer
Abstract. Wireless sensor networks can be very useful in applications that require the detection of crucial events, in physical environments subjected to critical conditions, and t...
171
click to vote
ECAL
2005
Springer
16 years 13 hour ago
2005
Springer
Abstract. Inspired by the recent advances in evolutionary biology, we have developed a self-organising, self-adaptable cellular system for multitask learning. The main aim of our p...
214
click to vote
ECMDAFA
2005
Springer
16 years 13 hour ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...