1900 search results - page 263 / 380 » The Four Phase Method for Modelling Complex Systems |
MICAI
2005
Springer
15 years 3 months ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
118
click to vote
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
In this paper we present a new compressed sensing model and reconstruction method for multi-detector signal acquisition. We extend the concept of the famous single-pixel camera to...
ADBIS
2006
Springer
15 years 4 months ago
2006
Springer
Computational database technology spans the two research fields data-base technology and scientific computing. It involves development of database capabilities that support compu...
RTCSA
1999
IEEE
15 years 2 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
TACAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...