1730 search results - page 131 / 346 » Algebra and Computation |
145
click to vote
CONCUR
2003
Springer
15 years 6 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
88
Voted
FUIN
2010
14 years 11 months ago
2010
In this paper we present an application of the propositional SATisfiability environment to computing some simple orthogonal matrices and some interesting tasks in the area of cry...
103
Voted
IPPS
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
IPPS
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
CAD
2008
Springer
15 years 27 days ago
2008
Springer
We present several algorithms for self-intersection detection, and possible elimination, in freeform planar curves and surfaces. Both local and global self-intersections are elimi...