613 search results - page 19 / 123 » Executable Visual Contracts |
APN
2006
Springer
14 years 2 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...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
This paper presents a technique to visualize the communication pattern of a parallel application at different points during its execution. Unlike many existing tools that show the...
CASCON
1997
14 years 8 days ago
1997
Understanding distributed applications is a tedious and di cult task. Visualizations based on process-time diagrams are often used to obtain a better understanding of the executio...
VIP
2003
14 years 8 days ago
2003
VisPro is a general-purpose visual language generation system based on Reserved Graph Grammar (RGG). It is also the execution environment of visual programming languages (VPLs) de...
VISUAL
1999
Springer
14 years 3 months ago
1999
Springer
TV commercials recognition is a need for advertisers in order to check the ful llment of their contracts with TV stations. In this paper we present an approach to this problem base...