11397 search results - page 234 / 2280 » A Relational Abstraction for Functions |
240
click to vote
FOSSACS
2004
Springer
16 years 18 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...
145
click to vote
ICWE
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Methodologies for the engineering of Web applications typically provide models that drive the generation of the hypermedia navigation structure in the application. Most o...
198
click to vote
MATA
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. Limited computational power imposes new challenges during the implementation of security and privacy solutions for mobile devices. The choice for the most appropriate cry...
156
click to vote
MFCS
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. We devise an efficient protocol by which a series of twoperson games Gi with unique winning strategies can be combined into a single game G with unique winning strategy, ...
183
click to vote
ECBS
2010
IEEE
16 years 16 days ago
2010
IEEE
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...