7167 search results - page 880 / 1434 » Answer Set Programming |
130
click to vote
ICALP
2003
Springer
15 years 10 months ago
2003
Springer
Resource-bounded dimension is a complexity-theoretic extension of classical Hausdorff dimension introduced by Lutz (2000) in order to investigate the fractal structure of sets th...
168
click to vote
COMPSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
Agile practices are arguably improving the productivity of small, co-located software development teams. In this paper, we describe an approach that tries to overcome the constrai...
132
Voted
HOTSWUP
2009
ACM
15 years 9 months ago
2009
ACM
We consider the state mapping problem for dynamic software updates and propose a number of approaches that have the potential of automating the state mapping in practical setting....
135
click to vote
CONCUR
1999
Springer
15 years 9 months ago
1999
Springer
This paper investigates an approach for statically preventing race conditions in an object-oriented language. The setting of this work is a variant of Gordon and Hankin’s concurr...
142
click to vote
AGENTS
1998
Springer
15 years 9 months ago
1998
Springer
Mobile agents are programs that can migrate from machine to machine in a heterogeneous, partially disconnected network. As mobile agents move across a network, they consume resour...