Sciweavers

1995 search results - page 126 / 399
» What's the Problem
Sort
View
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
15 years 8 months ago
Congestion control algorithms from optimal control perspective
— This paper is concerned with understanding the connection between the existing Internet congestion control algorithms and the optimal control theory. The available resource all...
Javad Lavaei, John C. Doyle, Steven H. Low
COMPSAC
1998
IEEE
15 years 8 months ago
Software Engineering for Scalable Distributed Applications
A major problem in the development of distributed applications is that we cannot assume that the environment in which the application is to operate will remain the same. This mean...
Maarten van Steen, Stefan Van der Zijden, Henk J. ...
SPIN
1999
Springer
15 years 8 months ago
Model Checking Operator Procedures
Operator procedures are documents telling operators what to do in various situations. They are widely used in process industries including the nuclear power industry. The correctne...
Wenhui Zhang
EXTREME
2004
ACM
15 years 7 months ago
Interpretation Beyond Markup
The meaning conveyed by documents and their markup often goes well beyond what can be inferred from the markup alone. It often depends on context, so that to interpret document ma...
David Dubin, David J. Birnbaum
EUROCRYPT
2006
Springer
15 years 7 months ago
Perfect Non-interactive Zero Knowledge for NP
Non-interactive zero-knowledge (NIZK) proof systems are fundamental cryptographic primitives used in many constructions, including CCA2-secure cryptosystems, digital signatures, an...
Jens Groth, Rafail Ostrovsky, Amit Sahai