APN
2010
Springer
14 years 16 days ago
2010
Springer
APN
2010
Springer
14 years 16 days ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
APN
2010
Springer
14 years 16 days ago
2010
Springer
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
APN
2010
Springer
14 years 16 days ago
2010
Springer
We prove that plain, bounded, reversible and persistent Petri nets are weakly and strongly separable.
APN
2010
Springer
14 years 16 days ago
2010
Springer
AISC
2010
Springer
14 years 16 days ago
2010
Springer
Abstract. We study the formalization process of a collection of documents created for a Software Engineering project from an MKM perspective. We analyze how document and collection...
AISC
2010
Springer
14 years 16 days ago
2010
Springer
We introduce a new OpenMath content dictionary named “tensor1” containing symbols for the expression of tensor formulas. These symbols support the expression of non-Cartesian ...
AISC
2010
Springer
14 years 16 days ago
2010
Springer
Krawtchouk polynomials appear in a variety of contexts, most notably as orthogonal polynomials and in coding theory via the Krawtchouk transform. We present an operator calculus fo...
AISC
2010
Springer
14 years 16 days ago
2010
Springer
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
AISC
2010
Springer
14 years 16 days ago
2010
Springer
Mathematical notations around the world are diverse. Not as much as requiring computing machines’ makers to adapt to each culture, but as much as to disorient a person landing on...