269 search results - page 47 / 54 » Applications of MetiTarski in the Verification of Control an... |
GI
2007
Springer
14 years 26 days ago
2007
Springer
: An new object oriented development suite for data fusion is presented. It is shown how the various issues in the data fusion development like design, implementation, simulation a...
ATAL
2009
Springer
14 years 1 months ago
2009
Springer
This paper details the implementation of a software framework that aids the development of distributed and self-configurable software systems. This framework is an instance of a n...
ESAW
2007
Springer
14 years 26 days ago
2007
Springer
OCAMS is a practical engineering application of multi-agent systems technology, involving redesign of the tools and practices in a complex, distributed system. OCAMS is designed to...
ATVA
2008
Springer
13 years 8 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
BMCBI
2005
13 years 6 months ago
2005
Background: Microarray analysis has become a widely used technique for the study of geneexpression patterns on a genomic scale. As more and more laboratories are adopting microarr...