4166 search results - page 352 / 834 » Automating the constraining process |
131
Voted
COORDINATION
2005
Springer
15 years 10 months ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
157
click to vote
IEAAIE
2004
Springer
15 years 10 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...
117
Voted
TES
2004
Springer
15 years 10 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...
148
click to vote
ECSQARU
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Finding optimal policies for general partially observable Markov decision processes (POMDPs) is computationally difficult primarily due to the need to perform dynamic-pr...
149
click to vote
CSL
1999
Springer
15 years 9 months ago
1999
Springer
This paper gives the first proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...