5599 search results - page 268 / 1120 » Abstract State Services |
154
click to vote
EH
2002
IEEE
15 years 11 months ago
2002
IEEE
When will we be secure? Nobody knows for sure – but it cannot happen before commercial security products and services possess not only enough functionality to satisfy customersâ...
133
click to vote
EG
2008
15 years 6 months ago
2008
: In the last decade many governments have created e-services in order to deliver instant and advanced services to their citizens. One of the major transactions between the state a...
158
click to vote
AIPS
2009
15 years 7 months ago
2009
abstraction heuristics, notably pattern-database and merge-and-shrink heuristics, are employed by some state-ofthe-art optimal heuristic-search planners. The major limitation of t...
219
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
188
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...