352 search results - page 29 / 71 » Model-Based Development: Combining Engineering Approaches an... |
149
click to vote
IJCAI
2007
15 years 7 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
194
click to vote
KBSE
2000
IEEE
15 years 10 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
183
click to vote
AAAI
2011
14 years 6 months ago
2011
Information about the spread of crop disease is vital in developing countries, and as a result the governments of such countries devote scarce resources to gathering such data. Un...
159
click to vote
CSMR
2004
IEEE
15 years 9 months ago
2004
IEEE
Most legacy systems have been altered due to prolonged maintenance to the point that they deviate significantly from their original and intended design and consequently, they lack...
188
click to vote
AAMAS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...