942 search results - page 43 / 189 » Process Algebraic Non-product-forms |
ISVC
2010
Springer
14 years 8 months ago
2010
Springer
Algebraic methods for image reconstruction provide good solutions even if only few projections are available. However, they can create noisy images if the number of iterations or t...
103
click to vote
DBPL
1995
Springer
15 years 1 months ago
1995
Springer
Physical design for object-oriented databases is still in its infancy. Implementation decisions often intrude into the conceptual design (such as inverse links and object decompos...
109
click to vote
TCS
2002
14 years 9 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
AMAST
1995
Springer
15 years 1 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
FSEN
2007
Springer
15 years 1 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the