4722 search results - page 867 / 945 » Encoding Program Executions |
130
click to vote
OOPSLA
2010
Springer
14 years 12 months ago
2010
Springer
The usage of optimistic version control systems comes along with cumbersome and time-consuming conflict resolution in the case that the modifications of two developers are contrad...
140
click to vote
HCI
2009
14 years 12 months ago
2009
Abstract. The current Web 2.0 stage of the Internet provided the basis for web-based communities and services aimed at collaboration and information sharing. Furthermore, Internet ...
116
click to vote
ICCS
2009
Springer
14 years 12 months ago
2009
Springer
The Simple API for Grid Applications (SAGA) can be used to develop a range of applications which are in turn composed of multiple sub-tasks. In particular SAGA is an effective tool...
146
click to vote
ICOODB
2009
14 years 11 months ago
2009
The integration of database and programming languages is made difficult by the different data models and type systems prevalent in each field. Functional-object query languages con...
124
click to vote
EOR
2011
14 years 9 months ago
2011
Simple games are a powerful tool to analyze decision-making and coalition formation in social and political life. In this paper, we present relation-algebraic models of simple game...