Sciweavers

1884 search results - page 140 / 377
» Abstraction from Counters: An Application on Real-Time Syste...
Sort
View
KR
1994
Springer
15 years 2 months ago
An Application of Terminological Logics to Case-based Reasoning
A key problem in case-based reasoning is the representation, organization and maintenance of case libraries. While current approaches rely on heuristic and psychologically inspire...
Jana Koehler
TECS
2008
94views more  TECS 2008»
14 years 10 months ago
Composing heterogeneous reactive systems
elationships between heterogeneous models at different levels of abstraction. In particular, they can be used to represent design transformations from tightly synchronized specific...
Albert Benveniste, Benoît Caillaud, Luca P. ...
EMNETS
2007
15 years 2 months ago
Robust node localization for wireless sensor networks
The node localization problem in Wireless Sensor Networks has received considerable attention, driven by the need to obtain a higher location accuracy without incurring a large, p...
Radu Stoleru, John A. Stankovic, Sang Hyuk Son
BPSC
2010
194views Business» more  BPSC 2010»
14 years 9 months ago
Ad-hoc Management Capabilities for Distributed Business Processes
: Advanced business processes are mostly distributed and require highly flexible management capabilities. In such scenarios, process parts often leave their initiator’s direct sp...
Sonja Zaplata, Dirk Bade, Kristof Hamann, Winfried...
LSSC
2007
Springer
15 years 4 months ago
MIC(0) DD Preconditioning of FEM Elasticity Systems on Unstructured Tetrahedral Grids
Abstract. In this study, the topics of grid generation and FEM applications are studied together following their natural synergy. We consider the following three grid generators: N...
Nikola Kosturski