3771 search results - page 387 / 755 » Subobject Transformation Systems |
142
click to vote
LICS
1991
IEEE
15 years 8 months ago
1991
IEEE
Abstract. We extend the termination proof methods based on reduction orderings to higher-order rewriting systems `a la Nipkow using higher-order pattern matching for firing rules,...
134
click to vote
AAAI
2007
15 years 7 months ago
2007
Online mechanism design considers the problem of sequential decision making in a multi-agent system with self-interested agents. The agent population is dynamic and each agent has...
121
Voted
DATE
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract--This paper presents a method for automatic microarchitectural pipelining of systems with loops. The original specification is pipelined by performing provably-correct tra...
180
Voted
DEXAW
2008
IEEE
15 years 6 months ago
2008
IEEE
Virtual product development puts high demands on data management solutions due to many dependent heterogeneous data sources, automatic data transformations, and fast changing requ...
135
click to vote
DIMEA
2008
15 years 6 months ago
2008
Aesthetics and ludic aspects of pervasive awareness applications make the awareness system more attractive and aesthetically pleasing to its users. The same objective can be achie...