ICCS
2000
Springer
14 years 8 days ago
2000
Springer
ICCS
2000
Springer
14 years 8 days ago
2000
Springer
Abstract. Conceptual graphs (CGs) share with FOL a fundamental expressiveness limitation: only higher-order logics allow assertions of properties on predicates. This paper intends ...
BIRTHDAY
2000
Springer
14 years 9 days ago
2000
Springer
Various forms of assumption/commitment specifications have been used to specify and reason about the interference that comes from concurrent execution; in particular, consistent a...
BIRTHDAY
2003
Springer
14 years 10 days 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 10 days 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 10 days ago
2003
Springer
BIRTHDAY
2001
Springer
14 years 10 days ago
2001
Springer
ARITH
2003
IEEE
14 years 10 days ago
2003
IEEE
ARITH
2003
IEEE
14 years 10 days ago
2003
IEEE
Studying floating point arithmetic, authors have shown that the implemented operations (addition, subtraction, multiplication, division and square root) can compute a result and a...
ARITH
2001
IEEE
14 years 10 days ago
2001
IEEE