2343 search results - page 241 / 469 » MedModel - Healthcare Simulation Software |
194
click to vote
RSP
2006
IEEE
16 years 13 days ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
167
click to vote
MSWIM
2006
ACM
16 years 11 days ago
2006
ACM
Recent studies and publications have shown a demand for a secure method to proof someones or somenthings position via a communication channel. In this paper we present a concept a...
168
click to vote
CIMCA
2005
IEEE
16 years 1 days ago
2005
IEEE
Several methodologies based on Multi-agent Systems (MAS) already exist. They help designers to describe software or to create MAS which aim at solving complex problems by simulati...
159
click to vote
ISORC
2005
IEEE
16 years 4 hour ago
2005
IEEE
Transcoding is an important technology which adapts the same multimedia object to diverse mobile appliances; thus, users’ requests for a specified version of a multimedia objec...
178
click to vote
VISUALIZATION
2005
IEEE
15 years 12 months ago
2005
IEEE
Techniques in numerical simulation such as the finite element method depend on basis functions for approximating the geometry and variation of the solution over discrete regions ...