13306 search results - page 416 / 2662 » Theoretical Computer Science |
163
click to vote
GI
2009
Springer
16 years 4 days 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...
188
click to vote
DIS
2001
Springer
16 years 1 days 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...
166
click to vote
DIS
2001
Springer
16 years 1 days 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...
190
click to vote
ERSHOV
2001
Springer
16 years 1 days 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...
204
click to vote
GI
2001
Springer
16 years 1 days 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...