4346 search results - page 347 / 870 » Models of Complex Physical Systems Using Cell-DEVS |
181
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
279
click to vote
ICARCV
2006
IEEE
16 years 22 days ago
2006
IEEE
— As confirmed by recent neurophysiological studies, the use of dynamic information is extremely important for humans in visual perception of biological forms and motion. Apart ...
164
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
erse approaches at all levels of abstraction starting from the physical level up to the system level. Experience shows that a highlevel method may have a larger impact since the de...
141
click to vote
VIP
2000
15 years 8 months ago
2000
Developing a detailed 3D conceptual spatial data model and incorporating it for visualization, is a promising method of Spatial Data Exploration for a variety of applications espe...
192
click to vote
APCHI
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. Supporting work activities in healthcare is highly complex and challenging. This paper outlines the findings from a usability study of a commercial PC based electronic pa...