2853 search results - page 286 / 571 » On Coherence in Computer Algebra |
147
click to vote
COLCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
Risk-based access control raises some novel problems that have not yet been investigated. In particular, the ability to aggregate uncertain risk estimations from different experts...
137
click to vote
COCOON
2001
Springer
15 years 9 months ago
2001
Springer
: We consider the following problem. Given a polygon P, possibly with holes, and having n vertices, compute a pair of equal radius disks that do not intersect each other, are conta...
271
click to vote
ACMMPC
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. These notes deal with an interconnecting web of mathematical techniques all of which deserve a place in the armoury of the welleducated computer scientist. The objective ...
119
click to vote
CONCUR
1997
Springer
15 years 8 months ago
1997
Springer
We prove that a bounded stack can be specified in process algebra with just the operators alternative and sequential composition and iteration. The bounded bag cannot be specified ...
117
click to vote
CONCUR
1993
Springer
15 years 8 months ago
1993
Springer
The Communication Closed Layers law is shown to be modular complete for a model related to that of Mazurkiewicz. It is shown that in a modular style of program development the CCL...