17298 search results - page 3143 / 3460 » Abstract computing machines |
144
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
119
Voted
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We study the succinctness of the complement and intersection of regular expressions. In particular, we show that when constructing a regular expression defining the compl...
179
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We propose a dynamic process for network evolution, aiming at explaining the emergence of the small world phenomenon, i.e., the statistical observation that any pair of i...
109
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
126
Voted
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper presents a technique called Improved Squeaky Wheel Optimisation (ISWO) for driver scheduling problems. It improves the original Squeaky Wheel Optimisation'...