4067 search results - page 360 / 814 » Programs for Applying Symmetries |
155
click to vote
ECOOP
2004
Springer
16 years 7 days ago
2004
Springer
Software evolution is an inevitable process when developing a system of any notable size and is the most costly stage in the life cycle of a system. Automating parts of this proces...
222
Voted
FOSSACS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
148
Voted
GI
2004
Springer
16 years 7 days ago
2004
Springer
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
200
Voted
LPAR
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification...
216
Voted
IAT
2003
IEEE
16 years 4 days ago
2003
IEEE
This work describes a multi-agent architecture and strategy for trade in simultaneous and related auctions. The proposed SIMPLE Agency combines an integer programming model, machi...