132 search results - page 7 / 27 » Composition of Path Transductions |
ATS
2002
IEEE
14 years 1 months ago
2002
IEEE
We propose a methodology that examines design modules and identifies appropriate vector justification and response propagation requirements for hierarchical test. Based on a cel...
PODS
2005
ACM
14 years 8 months ago
2005
ACM
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
MFCS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Visibly pushdown transducers (VPTs) form a strict subclass of pushdown transducers (PTs) that extends finite state transducers with a stack. Like visibly pushdown automa...
SIGCOMM
2003
ACM
14 years 1 months ago
2003
ACM
Path vector protocols are currently in the limelight, mainly because the inter-domain routing protocol of the Internet, BGP (Border Gateway Protocol), belongs to this class. In th...
FORMATS
2009
Springer
14 years 3 months ago
2009
Springer
In concurrent real-time processes, the speed of individual components has a double impact: on the one hand, the overall latency of a compound process is affected by the latency of...