BIRTHDAY
2003
Springer
14 years 4 months ago
2003
Springer
We prove in this paper that if r and s are two semilinear power series in commuting variables and s has bounded coefficients, then r-s is a rational series. This result can be tho...
BIRTHDAY
2003
Springer
14 years 4 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
BIRTHDAY
2003
Springer
14 years 4 months ago
2003
Springer
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
Techniques that were developed for program synthesis are being applied to allow multiple agents to communicate with each other and cooperate to solve a single problem. We illustrat...
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
Abstract. Digital numbers D are the world’s most popular data representation: nearly all texts, sounds and images are coded somewhere in time and space by binary sequences. The m...
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
Abstract. The problem of matching sets of points or sets of horizontal line segments in plane under translations is considered. For finding the exact occurrences of a point set of...
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
Abstract. Petri nets have been widely used to model and analyze concurrent systems. Their wide-spread use in this domain is, on one hand, facilitated by their simplicity and expres...
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
Chomsky’s theory of syntax came after criticism of probabilistic associative models of word order in sentences. Immediate constituent structures are plausible but their descripti...
BIRTHDAY
2003
Springer
14 years 6 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...