519 search results - page 34 / 104 » Granular Problem Solving and Software Engineering |
INFSOF
2007
14 years 11 months ago
2007
Creating and maintaining software systems is a knowledge intensive task. One needs to have a good understanding of the application domain, the problem to solve and all its require...
ECLIPSE
2006
ACM
15 years 5 months ago
2006
ACM
Refactoring tools allow programmers to change source code much quicker than before. However, the complexity of these changes cause versioning tools that operate at a file level t...
FSTTCS
1993
Springer
15 years 3 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
FSTTCS
2008
Springer
15 years 26 days ago
2008
Springer
We present a polynomial-time reduction from parity games with imperfect information to safety games with imperfect information. Similar reductions for games with perfect informatio...
108
click to vote
FOSSACS
2011
Springer
14 years 3 months ago
2011
Springer
To the best of our knowledge, we characterize for the first time the importance of resources (counters, channels, alphabets) when measuring expressiveness of WSTS. We establish, f...