1138 search results - page 146 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
120
Voted
EDOC
2004
IEEE
15 years 6 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
124
click to vote
ICS
2010
Tsinghua U.
15 years 12 months ago
2010
Tsinghua U.
We consider Fisher and Arrow-Debreu markets under additively-separable, piecewise-linear, concave utility functions, and obtain the following results: ? For both market models, if...
114
Voted
FORMATS
2009
Springer
15 years 9 months ago
2009
Springer
Recently, the model of weighted timed automata has gained interest within the real-time community. In a previous work, we built a bridge to the theory of weighted automata and intr...
128
Voted
BPM
2005
Springer
15 years 8 months ago
2005
Springer
: The capability to easily find useful services becomes increasingly critical in several fields. In this paper we argue that, in many situations, the service discovery process shou...
109
Voted
JCS
2011
14 years 9 months ago
2011
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic te...