1580 search results - page 73 / 316 » Modules for Crosscutting Models |
CN
2004
13 years 7 months ago
2004
This work deals with reconfigurable control functions and protocols for supporting mobile computing applications in heterogeneous wireless systems like cellular networks and WLANs...
APN
1992
Springer
13 years 12 months ago
1992
Springer
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to cr...
APN
2005
Springer
14 years 1 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
APN
2006
Springer
13 years 11 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
KES
2004
Springer
14 years 1 months ago
2004
Springer
This paper introduces a novel method for capturing conversation scenes and editing of the obtained videos. This system aims to acquire high-quality videos and to utilize them for m...