Sciweavers

2020 search results - page 191 / 404
» Modeling Probe-Agent Distributed System by Goal-oriented App...
Sort
View
ECBS
2005
IEEE
179views Hardware» more  ECBS 2005»
16 years 1 days ago
Prototype of Fault Adaptive Embedded Software for Large-Scale Real-Time Systems
This paper describes a comprehensive prototype of large-scale fault adaptive embedded software developed for the proposed Fermilab BTeV high energy physics experiment. Lightweight...
Derek Messie, Mina Jung, Jae C. Oh, Shweta Shetty,...
168
Voted
COORDINATION
2009
Springer
16 years 7 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
HPDC
2002
IEEE
15 years 11 months ago
Software Architecture-Based Adaptation for Grid Computing
Grid applications must increasingly self-adapt dynamically to changing environments. In most cases, adaptation has been implemented in an ad hoc fashion, on a perapplication basis...
Shang-Wen Cheng, David Garlan, Bradley R. Schmerl,...
MOBIS
2008
15 years 7 months ago
Policy-Based Semantic Compliance Checking for Business Process Management
: Compliance management, risk analysis, and auditing are disciplines that are critical for large scale distributed enterprise systems. The way these complex systems are developed a...
Marwane El Kharbili, Sebastian Stein
ICRA
2010
IEEE
116views Robotics» more  ICRA 2010»
15 years 5 months ago
Learning visibility of landmarks for vision-based localization
— We aim to perform robust and fast vision-based localization using a pre-existing large map of the scene. A key step in localization is associating the features extracted from t...
Pablo Fernández Alcantarilla, Sang Min Oh, ...