1393 search results - page 43 / 279 » From Models to Interactive Systems Tool Support and XIML |
155
click to vote
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
Statecharts are probably the most popular mechanism for behavior modeling of embedded system components. Modeling a component involves using a mainstream language for features tha...
187
click to vote
KBSE
2007
IEEE
16 years 13 days ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...
200
click to vote
DSOM
1999
Springer
15 years 10 months ago
1999
Springer
The backup of large data sets is preferably performed automatically outside of regular working hours. In highly structured computer networks, however, faults and exceptions may rel...
150
click to vote
IEEESCC
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
244
click to vote
VRML
2003
ACM
15 years 11 months ago
2003
ACM
One of the major challenges in Computer Graphics concerns the 3D representation and physically-based simulation of garments. In our research, we are working closely with the texti...