1776 search results - page 234 / 356 » A Visual Modeling Environment for Embedded Component Systems |
ENTCS
2006
13 years 8 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
WSC
1997
13 years 9 months ago
1997
The AutoModTM simulation system differs significantly from other systems because of its ability to deal with the physical elements of a system in physical (graphical) terms and th...
COORDINATION
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
ENC
2005
IEEE
14 years 1 months ago
2005
IEEE
The main purpose of this work is to develop an intelligent tutor system coupled to a robotics virtual laboratory, in order to offer a tutored virtual learning environment. The stu...
DAWAK
2006
Springer
13 years 11 months ago
2006
Springer
Comprehensive data analysis has become indispensable in a variety of environments. Standard OLAP (On-Line Analytical Processing) systems, designed for satisfying the reporting need...