Sciweavers

3145 search results - page 498 / 629
» Key Improvements to XTR
Sort
View
PERVASIVE
2006
Springer
15 years 6 months ago
Scalability in a Secure Distributed Proof System
Abstract. A logic-based language is often adopted in systems for pervasive computing, because it provides a convenient way to define rules that change the behavior of the systems d...
Kazuhiro Minami, David Kotz
SIAMCO
2008
70views more  SIAMCO 2008»
15 years 6 months ago
Minimal Time Sequential Batch Reactors with Bounded and Impulse Controls for One or More Species
We consider the optimal control problem of feeding in minimal time a tank where several species compete for a single resource, with the objective being to reach a given level of th...
Pedro Gajardo, Héctor Ramírez Cabrer...
IIE
2007
73views more  IIE 2007»
15 years 6 months ago
Exploiting Open-source Projects to Study Software Design
This article presents an approach to using open-source tools and open-source projects to add realistic and practical examples to a course on software design in a professional maste...
Christopher P. Fuhrman
IIE
2007
93views more  IIE 2007»
15 years 6 months ago
Pre-Service Teacher Training in Mathematics Using Tablet PC Technology
: This study focuses on the use of innovative Tablet PC technology in learning and teaching mathematics. Specifically the effects of incorporating Tablet PC technology in preservic...
Olga Kosheleva, Ana Medina-Rusch, Vera Ioudina
SIAMJO
2008
108views more  SIAMJO 2008»
15 years 6 months ago
Sparse SOS Relaxations for Minimizing Functions that are Summations of Small Polynomials
This paper discusses how to find the global minimum of functions that are summations of small polynomials ("small" means involving a small number of variables). Some spa...
Jiawang Nie, James Demmel