Sciweavers

4615 search results - page 357 / 923
» Complex networks as control paradigm for complex systems
Sort
View
ICRA
2008
IEEE
166views Robotics» more  ICRA 2008»
16 years 1 months ago
Anatomy-based organization of modular robots
Abstract— This paper presents a novel biologicallyinspired hierarchical approach to organizing and controlling modular robots. The purpose of our approach is to decompose the com...
David Johan Christensen, Jason Campbell
ICSE
2003
IEEE-ACM
16 years 6 months ago
Modular Verification of Software Components in C
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh ...
ESWS
2007
Springer
16 years 29 days ago
User-Centric Faceted Search for Semantic Portals
Many semantic portals use faceted browsing, where the facets are based on the underlying indexing ontologies of the content. However, in many cases, like in medical applications, t...
Osma Suominen, Kim Viljanen, Eero Hyvönen
ICSOC
2007
Springer
16 years 28 days ago
BPEL4Job: A Fault-Handling Design for Job Flow Management
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...
Wei Tan, Liana Fong, Norman Bobroff
HPDC
2000
IEEE
15 years 11 months ago
An Enabling Framework for Master-Worker Applications on the Computational Grid
We describe MW – a software framework that allows users to quickly and easily parallelize scientific computations using the master-worker paradigm on the computationalgrid. MW ...
Jean-Pierre Goux, Sanjeev Kulkarni, Jeff Linderoth...