Sciweavers

1829 search results - page 249 / 366
» Towards Validation of Requirements Models
Sort
View
ISNN
2005
Springer
16 years 5 days ago
Application of Neural Networks for Very Short-Term Load Forecasting in Power Systems
Load forecasting has become in recent years one of the major areas of research in electrical engineering. In a deregulated, competitive power market, utilities tend to maintain the...
Hungcheng Chen, Kuohua Huang, Lungyi Chang
ITRUST
2004
Springer
16 years 23 hour ago
The Use of Formal Methods in the Analysis of Trust (Position Paper)
Security and trust are two properties of modern computing systems that are the focus of much recent interest. They play an increasingly significant role in the requirements for mo...
Michael J. Butler, Michael Leuschel, Stépha...
ICRA
2002
IEEE
126views Robotics» more  ICRA 2002»
15 years 11 months ago
Achieving High Precision Laparoscopic Manipulation through Adaptive Force Control
Abstract—In this paper, we present a new solution to laparoscopic manipulation based on forcefeedback control. This method allows us to both explicitely control the forces applie...
Alexandre Krupa, Guillaume Morel, Michel de Mathel...
EVOW
2001
Springer
15 years 11 months ago
Automated Solution of a Highly Constrained School Timetabling Problem - Preliminary Results
This work introduces a highly constrained school timetabling problem which was modeled from the requirements of a German high school. The concept for solving the problem uses a hyb...
Marc Bufé, Tim Fischer, Holger Gubbels, Cla...
PROMS
2001
Springer
110views Multimedia» more  PROMS 2001»
15 years 11 months ago
On the End-User QoS-Awareness of a Distributed Service Environment
A lot of attention has been given to network quality of service and efforts to make layers on top of the network also QoS-aware increase noticeably. This paper explores QoS-aware s...
Ing Widya, R. E. Stap, L. J. Teunissen, B. Frank H...