Sciweavers

810 search results - page 162 / 162
» Solving Time-Dependent Planning Problems
Sort
View
73
Voted
KI
2008
Springer
14 years 9 months ago
On Restaurants and Requirements: How Requirements Engineering may be Facilitated by Scripts
Requirements engineering is a central part of software projects. It is assumed that two third of all errors in software projects are caused by forgotten requirements or mutual misu...
Christoph Peylo
101
Voted
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
14 years 8 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier
66
Voted
IOR
2010
75views more  IOR 2010»
14 years 8 months ago
Confronting Entrenched Insurgents
During counterinsurgency operations, government forces with superior …repower confront weaker lowsignature insurgents. Under what conditions should government (Blue) forces atta...
Edward H. Kaplan, Moshe Kress, Roberto Szechtman
JGO
2011
83views more  JGO 2011»
14 years 4 months ago
Application of convex lexicographical optimization to the balance of GRTgaz gas grid
Shippers are daily users of the French gas grid. Differences between planned and effective gas demand unbalance the grid. To restore the balance, GRTgaz computes every day amoun...
Soizic Adam, J. Frédéric Bonnans, Ru...
106
Voted
SIGUCCS
1998
ACM
15 years 1 months ago
The ResNet Obstacle Course
There are many ways to train student employees, but hands-on experience is invaluable. To provide our Resident Computer Consultants (RCCs) with the experience they need to solve t...
Kathleen A. Hausmann