569 search results - page 89 / 114 » Using Constraints for Exploring Catalogs |
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— We study a fully distributed, reactive algorithm for deployment and maintenance of a mobile communication backbone that provides an area around a network gateway with wireless ...
IROS
2009
IEEE
14 years 2 months ago
2009
IEEE
— The ability of mobile robots to generate feasible trajectories online is an important requirement for their autonomous operation in unstructured environments. Many path generat...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Psi-calculi are extensions of the pi-calculus, accommodating arbitrary nominal datatypes to represent not only data but also communication channels, assertions and conditions, givi...
FOSAD
2009
Springer
14 years 2 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
Synchronous Data Flow Graphs (SDFGs) have proved to be a very successful tool for modeling, analysis and synthesis of multimedia applications targeted at both single- and multiproc...