Sciweavers

4348 search results - page 341 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
WSC
2008
15 years 9 months ago
Simulation optimization for industrial scheduling using hybrid genetic representation
Simulation modeling has the capability to represent complex real-world systems in details and therefore it is suitable to develop simulation models for generating detailed operati...
Marcus Andersson, Amos Ng, Henrik Grimm
CA
2000
IEEE
15 years 11 months ago
Volume Sculpting and Keyframe Animation System
In traditional animation, keyframes are modeled and standard graphics pipeline is used to animate the scene. In this paper we consider volume animation where the 30 world and its ...
V. Chandru, N. Mahesh, M. Manivannan, Swami Manoha...
COMPLEX
2009
Springer
15 years 10 months ago
Using the Weighted Rich-Club Coefficient to Explore Traffic Organization in Mobility Networks
Abstract. The aim of a transportation system is to enable the movement of goods or persons between any two locations with the highest possible efficiency. This simple principle ins...
Jose J. Ramasco, Vittoria Colizza, Pietro Panzaras...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 11 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
ER
2000
Springer
107views Database» more  ER 2000»
15 years 10 months ago
A Conceptual Model for Remote Data Acquisition Systems
Data Acquisition Systems (DAS) are the basis for building monitoring tools that enable the supervision of local and remote systems. DASs are complex systems. It is difficult for de...
Txomin Nieva, Alain Wegmann