2527 search results - page 358 / 506 » Software development with imperfect information |
183
click to vote
ACMDIS
2006
ACM
16 years 12 days ago
2006
ACM
Human-computer interaction research often includes a significant design component. In cases where software or other tools are developed and described, but no empirical evaluation ...
169
click to vote
MKM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
160
click to vote
CAISE
2009
Springer
15 years 11 months ago
2009
Springer
Due to the increasing use of models, and the inevitable model inconsistencies that arise during model-based software development and evolution, model inconsistency detection is gai...
163
click to vote
EDOC
2007
IEEE
15 years 10 months ago
2007
IEEE
Enterprise architecture advocates model-based decision-making on enterprise-wide information system issues. In order to provide decisionmaking support, enterprise architecture mode...
170
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...