519 search results - page 42 / 104 » Granular Problem Solving and Software Engineering |
147
click to vote
FOSSACS
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
130
click to vote
TAPSOFT
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We present a new constraint system called INES. Its constraints are conjunctions of inclusions t1 t2 between rst-order terms (without set operators) which are interpreted...
135
click to vote
VMCAI
2010
Springer
16 years 2 days ago
2010
Springer
We present a unified game-based approach for branching-time model checking of hierarchical systems. Such systems are exponentially more succinct than standard state-transition gra...
CSSE
2008
IEEE
15 years 9 months ago
2008
IEEE
—The skew-correction of scanned document image is a necessary step undergone before some processing. For the purpose of practical, robust, real-time of the algorithm, this paper ...
110
click to vote
CE
2008
15 years 2 months ago
2008
Design patterns have become a widely acknowledged software engineering practice and therefore have been incorporated in the curricula of most computer science departments. This pa...