4067 search results - page 360 / 814 » Programs for Applying Symmetries |
180
Voted
ECOOP
2004
Springer
16 years 26 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...
245
click to vote
FOSSACS
2004
Springer
16 years 26 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...
162
Voted
GI
2004
Springer
16 years 26 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...
216
Voted
LPAR
2004
Springer
16 years 25 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...
240
click to vote
IAT
2003
IEEE
16 years 23 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...