Sciweavers

15840 search results - page 2631 / 3168
» The Control of Synchronous Systems
Sort
View
JUCS
2008
161views more  JUCS 2008»
15 years 7 months ago
A Model-Driven Approach to Align Business Processes with User Interfaces
: Information Technology (IT) has evolved over time from its traditional use as administrative support towards a more strategic role to enforce business processes (BP). But several...
Kênia Soares Sousa, Hildeberto Mendonç...
JAR
1998
134views more  JAR 1998»
15 years 6 months ago
Integrating Computer Algebra into Proof Planning
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
Manfred Kerber, Michael Kohlhase, Volker Sorge
INFOCOM
2010
IEEE
15 years 5 months ago
Adaptive Calibration for Fusion-based Wireless Sensor Networks
Abstract—Wireless sensor networks (WSNs) are typically composed of low-cost sensors that are deeply integrated with physical environments. As a result, the sensing performance of...
Rui Tan, Guoliang Xing, Xue Liu, Jianguo Yao, Zhao...
TIT
2010
163views Education» more  TIT 2010»
15 years 1 months ago
Power-controlled feedback and training for two-way MIMO channels
Most communication systems use some form of feedback, often related to channel state information. The common models used in analyses either assume perfect channel state information...
Vaneet Aggarwal, Ashutosh Sabharwal
MICROMACHINES
2011
15 years 1 months ago
Modeling Self-Assembly Across Scales: The Unifying Perspective of Smart Minimal Particles
: A wealth of current research in microengineering aims at fabricating devices of increasing complexity, notably by (self-)assembling elementary components into heterogeneous funct...
Massimo Mastrangeli, Grégory Mermoud, Alche...
« Prev « First page 2631 / 3168 Last » Next »