2343 search results - page 241 / 469 » MedModel - Healthcare Simulation Software |
151
click to vote
RSP
2006
IEEE
15 years 9 months 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...
130
Voted
MSWIM
2006
ACM
15 years 9 months 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...
128
click to vote
CIMCA
2005
IEEE
15 years 9 months 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...
122
click to vote
ISORC
2005
IEEE
15 years 9 months 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...
139
click to vote
VISUALIZATION
2005
IEEE
15 years 9 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 ...