8109 search results - page 1127 / 1622 » A Model of Component-Based Programming |
184
click to vote
CORR
2000
Springer
15 years 6 months ago
2000
Springer
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
214
click to vote
MP
2007
15 years 6 months ago
2007
We consider machine scheduling on unrelated parallel machines with the objective to minimize the schedule makespan. We assume that, in addition to its machine dependence, the proce...
206
click to vote
JAIR
2010
15 years 5 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
187
click to vote
STVR
2010
15 years 5 months ago
2010
Failures triggered by hard to debug defects usually involve complex interactions between many program elements. We hypothesize that information flows present a good model for such ...
222
click to vote
ASSETS
2010
ACM
15 years 1 months ago
2010
ACM
Individuals diagnosed with autism spectrum disorder (ASD) often fixate on narrow, restricted interests. These interests can be highly motivating, but they can also create attentio...