2212 search results - page 223 / 443 » Automated software wrapping |
161
click to vote
MKM
2005
Springer
15 years 11 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 ...
187
click to vote
IEAAIE
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...
131
click to vote
TES
2004
Springer
15 years 11 months ago
2004
Springer
Web services represent the latest effort of the information technology industry to provide a framework for cross enterprise automation. One principal characteristic of this framewo...
144
click to vote
ICCBR
2003
Springer
15 years 11 months ago
2003
Springer
A generic Case-Based Reasoning tool has been designed, implemented, and successfully used in two distinct applications. SOFT-CBR can be applied to a wide range of decision problems...
181
click to vote
LOPSTR
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...