7380 search results - page 900 / 1476 » Engineering Software Intensive Systems |
157
click to vote
FSTTCS
2008
Springer
15 years 7 months ago
2008
Springer
For a given (terminating) term rewriting system one can often estimate its derivational complexity indirectly by looking at the proof method that established termination. In this s...
179
click to vote
CSSE
2008
IEEE
15 years 7 months ago
2008
IEEE
Along with the variation of the market circumstance the automotive industry has to be confronted with various challenges. In order to satisfy the customers' requirement of Imp...
185
click to vote
TASE
2008
IEEE
15 years 6 months ago
2008
IEEE
Soon after the birth of the flourishing research area of model checking in the early eighties, researchers started to apply this technique to finite automata equipped with probabi...
148
click to vote
RE
2008
Springer
15 years 5 months ago
2008
Springer
This paper proposes a two-step approach to identifying ambiguities in natural language (NL) requirements specifications (RSs). In the first step, a tool would apply a set of ambig...
219
click to vote
SERA
2010
Springer
15 years 5 months ago
2010
Springer
Thanks to the major evolutions in the communication technologies and in order to deal with a continuous increase in systems complexity, current applications have to cooperate to ac...