2607 search results - page 51 / 522 » On the Architecture of System Verification Environments |
AIMSA
1990
Springer
15 years 3 months ago
1990
Springer
The paper discusses the motivation for, heritage, architecture and future development plans of the FuzzyCOPE software environment. FuzzyCOPE is a free software environment for tea...
SIGSOFT
2005
ACM
16 years 17 days ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
Researchers have been emphasizing the strong role that multi-agent systems can play progressively towards the design and implementation of complex autonomic systems. The aim of th...
118
click to vote
ICFEM
1997
Springer
15 years 4 months ago
1997
Springer
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
EDBT
2008
ACM
15 years 12 months ago
2008
ACM
Schema mapping algorithms rely on value correspondences ? i.e., correspondences among semantically related attributes ? to produce complex transformations among data sources. Thes...