1445 search results - page 188 / 289 » Properties of state spaces and their applications |
169
click to vote
SPIN
2007
Springer
16 years 14 days ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
146
click to vote
FSTTCS
2009
Springer
16 years 28 days ago
2009
Springer
ABSTRACT. We study functionally private approximations. An approximation function g is functionally private with respect to f if, for any input x, g(x) reveals no more information ...
268
click to vote
IWAN
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we present GateScript, a scripting language for active applications to be executed on generic active gateways. Unlike other active networking platforms, it offers a...
347
click to vote
CASES
2011
ACM
14 years 6 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
175
click to vote
SOFSEM
2007
Springer
16 years 14 days ago
2007
Springer
We investigate deterministically simulating (i.e., solving the membership problem for) nondeterministic finite automata (NFA), relying solely on the NFA’s resources (states and ...