5639 search results - page 443 / 1128 » Timed Abstract Non-interference |
141
click to vote
MFCS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The synthesis of a reactive system with respect to an ωregular specification requires the solution of a graph game. Such games have been extended in two natural ways. F...
138
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. To direct automated Web service composition, it is compelling to provide a template, workflow or scaffolding that dictates the ways in which services can be composed. I...
137
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— A common approach to designing feedback controllers for nonlinear partial differential equations (PDEs) is to linearize the system about an equilibrium and use the line...
146
click to vote
ICC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper is concerned with the end-to-end transmission outage in an OFDM based wireless multi-hop network. The network consists of a source node, a destination node, ...
122
click to vote
PIMRC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— In a slot-synchronized wireless communication system, a set of signature sequences can be derived by circularly shifting a base sequence with good auto correlation prop...