1580 search results - page 73 / 316 » Modules for Crosscutting Models |
156
Voted
CN
2004
15 years 2 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...
150
Voted
APN
1992
Springer
15 years 6 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...
120
Voted
APN
2005
Springer
15 years 8 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...
100
Voted
APN
2006
Springer
15 years 6 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...
95
Voted
KES
2004
Springer
15 years 8 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...