12774 search results - page 358 / 2555 » A Framework for Proof Systems |
169
click to vote
IJFCS
2011
15 years 1 months ago
2011
some studies linked the computational power of abstract computing systems based on multiset rewriting to Petri nets and the computation power of these nets to pology. In turn, the ...
200
click to vote
JSW
2008
15 years 6 months ago
2008
An application framework provides reusable design and implementation for a family of software systems. At the application engineering stage, application developers extend framework...
167
click to vote
NDSS
2009
IEEE
16 years 1 months ago
2009
IEEE
We describe CSAR, a novel technique for generating cryptographically strong, accountable randomness. Using CSAR, we can generate a pseudo-random sequence and a proof that the elem...
169
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— We describe a distributed boundary detection algorithm suitable for use on multi-robot systems with dynamic network topologies. We assume that each robot has access to its loca...
204
click to vote
ASWEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Behavior Trees (BTs) are a graphical notation used for formalising functional requirements and have been successfully applied to several case studies. However, the notation curren...