12459 search results - page 197 / 2492 » cans 2006 |
128
Voted
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
112
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
This paper explains how goal-oriented requirements engineering can be transposed into regulation modelling. It motivates also why this way of modelling regulations is worthwhile fo...
127
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper, we reduce pushdown system (PDS) model checking to a graphtheoretic problem, and apply a fast graph algorithm to improve the running time for model checking...
117
click to vote
CEAS
2006
Springer
15 years 8 months ago
2006
Springer
Store-and-forward MTA relaying servers have frequently presented problems to various antispam techniques, such as IPbased reputation or email authentication. Algorithms that find ...
128
click to vote
CG
2006
Springer
15 years 8 months ago
2006
Springer
We show that a proper equilibrium of a matrix game can be found in polynomial time by solving a linear (in the number of pure strategies of the two players) number of linear progra...