4348 search results - page 430 / 870 » Using UML for Modeling Complex Real-Time Systems |
171
click to vote
MOBICOM
1995
ACM
15 years 10 months ago
1995
ACM
In this paper, we describe a simulation environment which is used to examine, validate, and predict the performance of mobile wireless network systems. This simulation environment...
187
click to vote
FM
2003
Springer
16 years 1 days 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 ...
146
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...
206
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
The Modeler is designed using a learner-centered approach [5], with scaffolding to address the specific needs of learners. Scaffolding [3] is an educational term that refers to pro...
153
click to vote
HAPTICS
2003
IEEE
16 years 3 days ago
2003
IEEE
It seems likely that humans build internal models of objects that they explore haptically, and that the complexity of an internal model is not necessarily associated with complex ...