10493 search results - page 1529 / 2099 » Dynamic Word Problems |
133
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Timed Continuous Petri Net (TCPN) systems are piecewise linear models with input constraints that can approximate the dynamical behavior of a class of timed discrete event syst...
142
click to vote
ICIDS
2009
Springer
15 years 9 months ago
2009
Springer
Authoring is still considered a bottleneck in successful Interactive Storytelling and Drama. The claim for intuitive authoring tools is high, especially for tools that allow storyt...
126
Voted
IPOM
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we propose a new solution to increase the security of BGP/MPLS IP VPNs established across multiple domains. In general, layer 3 VPNs already present a number of secur...
132
Voted
CC
2001
Springer
15 years 9 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
143
click to vote
ICN
2001
Springer
15 years 9 months ago
2001
Springer
This paper addresses multicast routing in multi-hop optical networks employing wavelength-division multiplexing (WDM). We consider a model in which multicast communication requests...