Sciweavers

5457 search results - page 762 / 1092
» Software Component Independence
Sort
View
SASO
2007
IEEE
16 years 1 months ago
Towards Supporting Interactions between Self-Managed Cells
Management in pervasive systems cannot rely on human intervention or centralised decision-making functions. It must be devolved, based on local decision-making and feedback contro...
Alberto E. Schaeffer Filho, Emil C. Lupu, Naranker...
CAV
2007
Springer
121views Hardware» more  CAV 2007»
16 years 1 months ago
Algorithms for Interface Synthesis
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
Dirk Beyer, Thomas A. Henzinger, Vasu Singh
GECCO
2007
Springer
192views Optimization» more  GECCO 2007»
16 years 1 months ago
Self-adaptive ant colony optimisation applied to function allocation in vehicle networks
Modern vehicles possess an increasing number of software and hardware components that are integrated in electronic control units (ECUs). Finding an optimal allocation for all comp...
Manuel Förster, Bettina Bickel, Bernd Hardung...
SEMWEB
2007
Springer
16 years 28 days ago
Towards Semantic Web Service Engineering
The paper presents the main results of the IST FP6 INFRAWEBS project. The project has developed an easy and effective way of constructing and using semantic descriptions for existi...
Gennady Agre, Zlatina Marinova, Tomás Parie...
CBMS
2006
IEEE
16 years 27 days ago
A Preliminary Study of Respiratory Variations in the Photoplethysmogram during Lower Body Negative Pressure
Previous studies have shown that the photoplethysmogram (PPG) may be a useful tool for the noninvasive detection of hypovolemia. The focus has been on determining if frequency ana...
Suzanne Wendelken, Stephen Paul Linder, Sue McGrat...