Sciweavers

1992 search results - page 196 / 399
» On the (limited) power of non-equivocation
Sort
View
COR
2008
128views more  COR 2008»
15 years 6 months ago
Solving dynamic stochastic economic models by mathematical programming decomposition methods
Discrete-time optimal control problems arise naturally in many economic problems. Despite the rapid growth in computing power and new developments in the literature, many economic...
Mercedes Esteban-Bravo, Francisco J. Nogales
ENGL
2008
44views more  ENGL 2008»
15 years 6 months ago
In-Process Electrical Dressing of Metal-Bonded Diamond Grinding Wheels
A new development of hybrid in-process electrical dressing of metal-bonded diamond grinding wheels is proposed in this paper. The electrical dressing method is used for overcoming ...
A. Sudiarso, J. Atkinson
ENTCS
2006
142views more  ENTCS 2006»
15 years 6 months ago
The Rewriting Logic Semantics Project
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
José Meseguer, Grigore Rosu
IJNSEC
2008
119views more  IJNSEC 2008»
15 years 6 months ago
Pass-Go: A Proposal to Improve the Usability of Graphical Passwords
Inspired by an old Chinese game, Go, we have designed a new graphical password scheme, Pass-Go, in which a user selects intersections on a grid as a way to input a password. While...
Hai Tao, Carlisle Adams
IJAHUC
2006
129views more  IJAHUC 2006»
15 years 6 months ago
Optimal distance geographic routing for energy efficient wireless sensor networks
: Wireless sensor networks require energy efficient routing protocols owing to limited resource on the sensor node. In this paper, we develop optimal distance geographic routing (O...
Xin-Ming Huang, Jing Ma