Sciweavers

839 search results - page 10 / 168
» Self-recovery in server programs
Sort
View
UM
2001
Springer
13 years 12 months ago
Designing TV Viewer Stereotypes for an Electronic Program Guide
This paper describes how a user modeling knowledge base for personalized TV servers can be generated starting from an analysis of lifestyles surveys. The aim of the research is the...
Cristina Gena
ICFEM
2010
Springer
13 years 6 months ago
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
Scott West, Sebastian Nanz, Bertrand Meyer
WIOPT
2010
IEEE
13 years 5 months ago
Saluki: A high-performance Wi-Fi sniffing program
Building a campus-wide wireless LAN measurement system faces many efficiency, scalability and security challenges. To address these challenges, we developed a distributed Wi-Fi sni...
Keren Tan, David Kotz
CSUR
1999
137views more  CSUR 1999»
13 years 7 months ago
Algebraic Methods for Specification and Formal Development of Programs
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
Donald Sannella, Andrzej Tarlecki
LISP
2007
78views more  LISP 2007»
13 years 7 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...