Sciweavers

4809 search results - page 381 / 962
» CajunBot: Architecture and algorithms
Sort
View
DSD
2009
IEEE
111views Hardware» more  DSD 2009»
16 years 1 months ago
Robustness Check for Multiple Faults Using Formal Techniques
Feature sizes in VLSI circuits are steadily shrinking. This results in increasing susceptibility to soft errors, e.g. due to environmental radiation. Precautions against soft error...
Stefan Frehse, Görschwin Fey, André S&...
DSN
2009
IEEE
16 years 1 months ago
A QoS-aware fault tolerant middleware for dependable service composition
Based on the framework of service-oriented architecture (SOA), complex distributed systems can be dynamically and automatically composed by integrating distributed Web services pr...
Zibin Zheng, Michael R. Lyu
IAT
2009
IEEE
16 years 1 months ago
Optimization-Based Collision Avoidance for Cooperating Airplanes
Application of autonomous intelligent systems into airspace domain is very important nowadays. The paper presents decentralized collision avoidance algorithm utilizing a solution ...
David Sislák, Premysl Volf, Michal Pechouce...
INFOCOM
2009
IEEE
16 years 1 months ago
TDMA Scheduling in Long-Distance WiFi Networks
—In the last few years, long-distance WiFi networks have been used to provide Internet connectivity in rural areas. The strong requirement to support real-time applications in th...
Debmalya Panigrahi, Bhaskaran Raman
RULEML
2009
Springer
16 years 1 months ago
Process Materialization Using Templates and Rules to Design Flexible Process Models
The main idea in this paper is to show how flexible processes can be designed by combining generic process templates and business rules. We instantiate a process by applying rules ...
Akhil Kumar, Wen Yao