4348 search results - page 558 / 870 » Using UML for Modeling Complex Real-Time Systems |
185
click to vote
IVCNZ
1998
15 years 8 months ago
1998
: A research topic that has been receiving much interest recently is the reconstruction of a high resolution image from an ensemble of low resolution images of the same scene. Such...
153
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
204
click to vote
MICAI
2005
Springer
16 years 4 days 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...
154
click to vote
DATE
2005
IEEE
16 years 8 days ago
2005
IEEE
Complex applications implemented as Systems on Chip (SoCs) demand extensive use of system level modeling and validation. Their implementation gathers a large number of complex IP ...
167
click to vote
WSC
2004
15 years 8 months ago
2004
Increased complexity of simulation models and the related modeling needs for global supply chains have necessitated the execution of simulations on multiple processors. While dist...