Sciweavers

4731 search results - page 609 / 947
» Securing Interactive Programs
Sort
View
CORR
2007
Springer
147views Education» more  CORR 2007»
15 years 6 months ago
Decomposition During Search for Propagation-Based Constraint Solvers
Abstract. We describe decomposition during search (DDS), an integration of And/Or tree search into propagation-based constraint solvers. The presented search algorithm dynamically ...
Martin Mann, Guido Tack, Sebastian Will
LISP
2007
78views more  LISP 2007»
15 years 6 months ago
Implementation and use of the PLT scheme Web server
The PLT Scheme Web Server uses continuations to enable a natural, console-like program development style. We describe the implementation of the server and its use in the developmen...
Shriram Krishnamurthi, Peter Walton Hopkins, Jay A...
CORR
2004
Springer
87views Education» more  CORR 2004»
15 years 6 months ago
Roles Are Really Great!
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with ot...
Viktor Kuncak, Patrick Lam, Martin C. Rinard
ETS
2002
IEEE
201views Hardware» more  ETS 2002»
15 years 6 months ago
Case study on technology and distance in education at the Harvard Business School
For almost a century, the Harvard Business School has used case studies as the basis for experiential learning in both MBA and Executive Education courses. This article presents a...
Brian J. DeLacey, Dorothy A. Leonard
ISF
2008
119views more  ISF 2008»
15 years 6 months ago
A decision support system for locating VHF/UHF radio jammer systems on the terrain
In this study, a mathematical model is suggested concerning the location of VHF/UHF frequency radio jammer systems to the terrain parts to conduct single frequency or sequential fr...
Cevriye Gencer, Emel Kizilkaya Aydogan, Coskun Cel...