8623 search results - page 363 / 1725 » Software engineering for secure systems |
196
click to vote
FSTTCS
2000
Springer
15 years 10 months ago
2000
Springer
: A pushdown system is a graph G(P) of configurations of a pushdown automaton P. The model checking problem for a logic L is: given a pushdown automaton P and a formula L decide ...
321
click to vote
AC
2011
Springer
15 years 1 months ago
2011
Springer
Traditionally, the development of computing systems has been focused on performance improvements driven by the demand of applications from consumer, scientific, and business domai...
209
click to vote
SIAMCO
2011
15 years 1 months ago
2011
Abstract. We consider switched systems on Banach and Hilbert spaces governed by strongly continuous one-parameter semigroups of linear evolution operators. We provide necessary and...
159
click to vote
FTDCS
2003
IEEE
16 years 3 days ago
2003
IEEE
There is an increasing need within the Navy and Marine Corps for building distributed situation-aware applications that are rapidly recon gurable and survivable in the face of att...
207
click to vote
WADT
2004
Springer
16 years 5 days ago
2004
Springer
An automated technique to translate conditional rewrite rules into unconditional ones is presented, which is suitable to implement, or compile, conditional rewriting on top of much...