13306 search results - page 416 / 2662 » Theoretical Computer Science |
151
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...
168
click to vote
DIS
2001
Springer
15 years 11 months ago
2001
Springer
Episode pattern is a generalized concept of subsequence pattern where the length of substring containing the subsequence is bounded. Given two sets of strings, consider an optimiza...
156
click to vote
DIS
2001
Springer
15 years 11 months ago
2001
Springer
Scientists need customizable tools to help them with discovery. We present an adjustable heuristic function for scientific discovery. This function may be considered in either a Mi...
169
Voted
ERSHOV
2001
Springer
15 years 11 months ago
2001
Springer
Abstract The generic programming paradigm has exerted great influence on the recent development of C++, e.g., large parts of its standard library [2] are based on generic containe...
192
Voted
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...