6829 search results - page 1170 / 1366 » Quantitative Generalizations of Languages |
135
click to vote
CASES
2009
ACM
15 years 1 months ago
2009
ACM
In this paper we address the issue of making a program reversible in terms of spatial complexity. Spatial complexity is the amount of memory/register locations required for perfor...
146
click to vote
DLOG
2009
15 years 1 months ago
2009
Abstract. Multi-attribute negotiation has been extensively studied from a gametheoretic viewpoint. In negotiation settings, utility functions are used to express agent preferences....
160
click to vote
ERSHOV
2009
Springer
15 years 1 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
164
click to vote
EXACT
2009
15 years 1 months ago
2009
Across many fields involving complex computing, software systems are being augmented with workflow logging functionality. The log data can be effectively organized using declarativ...
138
click to vote
HT
2009
ACM
15 years 1 months ago
2009
ACM
The online games market has matured in recent years. It is now a multi-billion dollar business with hundreds of millions players worldwide. At the same time, social networking pla...