157 search results - page 28 / 32 » Formal Modeling and Analysis of Hybrid Systems: A Case Study... |
SELMAS
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
BMCBI
2007
13 years 7 months ago
2007
Background: Many important high throughput projects use in situ hybridization and may require the analysis of images of spatial cross sections of organisms taken with cellular lev...
TASE
2010
IEEE
13 years 2 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
VRML
2009
ACM
14 years 1 months ago
2009
ACM
This work discusses a model and an architecture for interactive stories to be displayed on the net, designed for being independent from the specific story represented and suitabl...
BMCBI
2006
13 years 7 months ago
2006
Background: High-density microarray technology is increasingly applied to study gene expression levels on a large scale. Microarray experiments rely on several critical steps that...