7209 search results - page 876 / 1442 » Software Engineering for Multi-Agent Systems |
126
click to vote
FSTTCS
2008
Springer
15 years 6 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...
144
click to vote
CSSE
2008
IEEE
15 years 5 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...
130
Voted
INFORMATICALT
2006
15 years 4 months ago
2006
The quality of software engineering projects often suffers due to the large gap between the way stakeholders present their requirements and the way analysts capture and express tho...
137
Voted
TASE
2008
IEEE
15 years 4 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...
120
click to vote
RE
2008
Springer
15 years 3 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...