Sciweavers

799 search results - page 126 / 160
» Generating Reliable Code from Hybrid-Systems Models
Sort
View
FMAM
2010
157views Formal Methods» more  FMAM 2010»
13 years 7 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
IROS
2006
IEEE
128views Robotics» more  IROS 2006»
14 years 3 months ago
A Laserscanner-Vision Fusion System Implemented on the TerraMax Autonomous Vehicle
— This paper presents a sensor fusion model developed for the 2005 Grand Challenge competition, an autonomous ground vehicle race across the Mojave desert organized by DARPA1 . T...
Alberto Broggi, Stefano Cattani, Pier Paolo Porta,...
PADS
2006
ACM
14 years 3 months ago
Analysing the Performance of Optimistic Synchronisation Algorithms in Simulations of Multi-Agent Systems
In this paper we present a detailed analysis of the performance of the Decision Theoretic Read Delay (DTRD) optimistic synchronisation algorithm for simulations of Multistems. We ...
Michael Lees, Brian Logan, Dan Chen, Ton Oguara, G...
IJDSN
2006
136views more  IJDSN 2006»
13 years 10 months ago
Intrusion Detection for Routing Attacks in Sensor Networks
Security is a critical challenge for creating robust and reliable sensor networks. For example, routing attacks have the ability to disconnect a sensor network from its central ba...
Chong Eik Loo, Mun Yong Ng, Christopher Leckie, Ma...
ETT
2000
149views Education» more  ETT 2000»
13 years 9 months ago
Channel Allocation with Recovery Strategy in Wireless Networks
With the increasing penetration of wireless communications systems, customers are expecting the same level of service, reliability and performance from the wireless communication s...
Yue Ma, James J. Han, Kishor S. Trivedi