Sciweavers

964 search results - page 144 / 193
» Scenario-driven modeling and validation of requirements mode...
Sort
View
ISNN
2005
Springer
14 years 2 months 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
ESAW
2004
Springer
14 years 2 months ago
Virtual Enterprise Normative Framework Within Electronic Institutions
Virtual Enterprises are a major trend within the B2B scenario. Technological support towards enabling this cooperation model includes the multi-agent systems paradigm. In this pape...
Henrique Lopes Cardoso, Eugénio C. Oliveira
ITRUST
2004
Springer
14 years 2 months 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»
14 years 1 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
14 years 1 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...