Sciweavers

5457 search results - page 146 / 1092
» Software Component Independence
Sort
View
103
Voted
CD
2005
Springer
15 years 6 months ago
Component Deployment Using a Peer-to-Peer Overlay
The deployment of component-based software applications usually relies on a centralized repository where the components are stored. This paper describes a peer-to-peer approach for...
Stéphane Frénot, Yvan Royon
IWFM
2000
162views Formal Methods» more  IWFM 2000»
15 years 2 months ago
Modal Logics for Reasoning about Object-based Component Composition
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
Claus Pahl
PVM
2004
Springer
15 years 6 months ago
An Initial Analysis of the Impact of Overlap and Independent Progress for MPI
Abstract. The ability to offload functionality to a programmable network interface is appealing, both for increasing message passing performance and for reducing the overhead on t...
Ron Brightwell, Keith D. Underwood, Rolf Riesen
ICRA
2003
IEEE
135views Robotics» more  ICRA 2003»
15 years 6 months ago
Robodaemon -a device independent, network-oriented, modular mobile robot controller
Abstract— We discuss a software environment for multirobot, multi-platform mobile robot control and simulation. Like others, we have observed that mobile robotics research is gre...
Gregory Dudek, Robert Sim
123
Voted
FORMATS
2007
Springer
15 years 4 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson