Sciweavers

2557 search results - page 100 / 512
» Goal-Based Modeling of Dynamically Adaptive System Requireme...
Sort
View
CORR
2010
Springer
145views Education» more  CORR 2010»
13 years 5 months ago
Dynamic Capitalization and Visualization Strategy in Collaborative Knowledge Management System for EI Process
Abstract--Knowledge is attributed to human whose problemsolving behavior is subjective and complex. In today's knowledge economy, the need to manage knowledge produced by a co...
Bolanle Oladejo, Victor Odumuyiwa, Amos David
FAABS
2004
Springer
14 years 1 months ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
TKDE
2008
107views more  TKDE 2008»
13 years 7 months ago
Adaptive Broadcasting for Similarity Queries in Wireless Content Delivery Systems
We present a new adaptive and energy-efficient broadcast model to support flexible responses to client queries. Clients do not have to request documents by name, since they may kno...
Wei Wang, Chinya V. Ravishankar
IROS
2008
IEEE
191views Robotics» more  IROS 2008»
14 years 2 months ago
Local Gaussian process regression for real-time model-based robot control
— High performance and compliant robot control requires accurate dynamics models which cannot be obtained analytically for sufficiently complex robot systems. In such cases, mac...
Duy Nguyen-Tuong, Jan Peters
EMSOFT
2007
Springer
14 years 2 months ago
A dynamic scheduling approach to designing flexible safety-critical systems
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...
Luís Almeida, Sebastian Fischmeister, Madhu...