1346 search results - page 30 / 270 » On the Use of UML for Modeling Physical Systems |
TOG
2012
11 years 11 months ago
2012
Geometric modeling and the physical validity of shapes are traditionally considered independently. This makes creating aesthetically pleasing yet physically valid models challengi...
PADS
2005
ACM
14 years 2 months ago
2005
ACM
Efficient computer simulation of complex physical phenomena has long been challenging due to their multiphysics and multi-scale nature. In contrast to traditional time-stepped exe...
MODELS
2010
Springer
13 years 7 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
ER
2007
Springer
14 years 27 days ago
2007
Springer
Data Warehouse (DWH) systems represent a single source of information for analyzing the status, the development and the results of an organization. Today's DWH systems provide...
WOSP
2005
ACM
14 years 2 months ago
2005
ACM
Software performance based on performance models can be applied at early phases of the software development cycle to characterize the quantitative behavior of software systems. We...