2036 search results - page 54 / 408 » A generic type-and-effect system |
109
click to vote
JCDL
2005
ACM
15 years 6 months ago
2005
ACM
Users of modern digital libraries (DLs) can keep themselves up-to-date by searching and browsing their favorite collections, or more conveniently by resorting to an alerting servi...
87
Voted
IM
2003
15 years 1 months ago
2003
: Quantitative models are needed for a variety of management tasks, including (a) identification of critical variables to use for health monitoring, (b) anticipating service level...
97
Voted
WDAG
1999
Springer
15 years 4 months ago
1999
Springer
This short paper establishes lower bounds on the time complexity of algorithms solving the generic broadcast problem. The paper shows that (a) to deliver messages in one round, no...
107
click to vote
CONSTRAINTS
2004
15 years 12 days ago
2004
Abstract. CLPGUI is a generic graphical user interface for visualizing and controlling the execution of constraint logic programs. CLPGUI has been designed to be used in different ...
ESOP
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...