4209 search results - page 156 / 842 » Abstract Dialectical Frameworks |
171
click to vote
WRLA
2010
15 years 4 months ago
2010
Abstract. We revise multiset rewriting with name binding, by combining the two main existing approaches to the study of concurrency by means of multiset rewriting, multiset rewriti...
161
click to vote
DATESO
2010
15 years 4 months ago
2010
Abstract. The today's applications usually form a system of sub-applications, each being responsible for a particular functionality. Hence, the design and maintenance of such ...
199
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- In recent years underwater survey and surveillance missions with more than a single Autonomous Underwater Vehicle (AUV) have become more common thanks to more reliable a...
185
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Uintah is a highly parallel and adaptive multiphysics framework created by the Center for Simulation of Accidental Fires and Explosions in Utah. Uintah, which is built up...
246
click to vote
MOBILIGHT
2010
15 years 4 months ago
2010
Abstract. This paper describes a framework for the design space exploration of resource-efficient software-defined radio architectures. This design space exploration is based on a ...