359 search results - page 64 / 72 » Modeling Consensus in a Process Calculus |
JSS
2010
13 years 8 months ago
2010
There is a general consensus on the importance of good Requirements Engineering (RE) for achieving high quality software. The modeling and analysis of requirements have been the m...
ICFP
2009
ACM
14 years 10 months ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
SMA
2009
ACM
14 years 4 months ago
2009
ACM
Current mesh reduction techniques, while numerous, all primarily reduce mesh size by successive element deletion (e.g. edge collapses) with the goal of geometric and topological f...
ELPUB
1999
ACM
14 years 2 months ago
1999
ACM
and abstract entry. But since the burgeoning of the scholarly literature since World War II, these processes had become well-known and expertly done by most organizations in the pu...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
Existing work on programmable self assembly has focused on deterministic performance guarantees--stability of desirable states. In particular, for any acyclic target graph a binary...