Sciweavers

8109 search results - page 149 / 1622
» A Model of Component-Based Programming
Sort
View
148
Voted
AAAI
1990
15 years 6 months ago
Inductive Synthesis of Equational Programs
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...
Nachum Dershowitz, Eli Pinchover
131
Voted
AIIA
2003
Springer
15 years 10 months ago
Personalized Recommendation of TV Programs
This paper presents the user modeling and recommendation techniques applied in Personal Program Guide (PPG), a system generating personalized Electronic Program Guides for digital ...
Liliana Ardissono, Cristina Gena, Pietro Torasso, ...
123
Voted
CONCURRENCY
2004
90views more  CONCURRENCY 2004»
15 years 4 months ago
Programming and coordinating Grid environments and applications
The heterogeneous and dynamic nature of Grid environments place new demands on models and paradigms for parallel programming. In this work we discuss how ALua, a programming syste...
Cristina D. Ururahy, Noemi de La Rocque Rodriguez
QUESTA
1998
124views more  QUESTA 1998»
15 years 4 months ago
Structural results for the control of queueing systems using event-based dynamic programming
In this paper we study monotonicity results for optimal policies of various queueing and resource sharing models. The standard approach is to propagate, for each specific model, ...
Ger Koole
230
Voted
ICSM
2000
IEEE
15 years 9 months ago
A Deployment System for Pervasive Computing
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...
Jesper Andersson