Sciweavers

3053 search results - page 132 / 611
» Performance of Generative Programming Based Protocol Impleme...
Sort
View
VIP
2003
15 years 3 months ago
Compiled Visual Programs by VisPro
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...
Ke-Bing Zhang, Mehmet A. Orgun, Kang Zhang
ENTCS
2008
113views more  ENTCS 2008»
15 years 2 months ago
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components
This paper presents an approach which supports verification and model-based adaptation of software compod services implemented using Windows Workflow Foundation (WF). First, we pr...
Javier Cubo, Gwen Salaün, Carlos Canal, Ernes...
ENTCS
2007
91views more  ENTCS 2007»
15 years 2 months ago
Dynamic Reverse Code Generation for Backward Execution
The need for backward execution in debuggers has been raised a number of times. Backward execution helps a user naturally think backwards and, in turn, easily locate the cause of ...
Jooyong Lee
110
Voted
ICNP
2007
IEEE
15 years 8 months ago
Source Address Validation: Architecture and Protocol Design
The current Internet addressing architecture does not verify the source address of a packet received and forwarded. This causes serious security and accounting problems. Based on t...
Jianping Wu, Gang Ren, Xing Li
IJWIN
2002
154views more  IJWIN 2002»
15 years 1 months ago
Connection Admission Control for PCS-to-Internet Protocol Internetworking
This paper studies the connection admission control for PCS-to-Internet protocol internetworking. In order to provide QoS to the Internet and avoid scalability problems, several re...
Fei Yu, Victor C. M. Leung