Sciweavers

150 search results - page 17 / 30
» A Reusable Software Framework for Distributed Decision-Makin...
Sort
View
FM
1999
Springer
107views Formal Methods» more  FM 1999»
13 years 12 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
EJWCN
2010
162views more  EJWCN 2010»
13 years 2 months ago
OMNeT++-Based Cross-Layer Simulator for Content Transmission over Wireless Ad Hoc Networks
Flexbility and deployment simplicity are among the numerous advantages of wireless links when compared to standard wired communications. However, challenges do remain high for wire...
Raphaël Massin, Catherine Lamy-Bergot, Christ...
ISORC
2009
IEEE
14 years 2 months ago
Extended RT-Component Framework for RT-Middleware
Modular component-based robot systems require not only an infrastructure for component management, but also scalability as well as real-time properties. Robot Technology (RT)-Midd...
Hiroyuki Chishiro, Yuji Fujita, Akira Takeda, Yuta...
EUROPAR
2006
Springer
13 years 11 months ago
COPRA - A Communication Processing Architecture for Wireless Sensor Networks
Abstract. Typical sensor nodes are composed of cheap hardware because they have to be affordable in great numbers. This means that memory and communication bandwidth are small, CPU...
Reinhardt Karnapke, Jörg Nolte
ATAL
2010
Springer
13 years 8 months ago
MAS-DisCoSim 4 PDP: a testbed for multi-agent solutions to PDPs
This demo illustrates MAS-DisCoSim 4 PDP, a testbed environment for evaluating distributed multi-agent system solutions to pickup and delivery problems (PDPs). PDPs are well-studi...
Jelle Van Gompel, Bart Tuts, Rutger Claes, Mario C...