585 search results - page 54 / 117 » Strategy Logic |
152
click to vote
ENTCS
2008
15 years 4 months ago
2008
We present Oracle-Based Partial Evaluation (OBPE), a novel approach to on-line Partial Evaluation (PE) which decides the control strategy to use for each call pattern by using an ...
175
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
131
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Sensors are becoming increasingly important in interaction design. Authoring a sensor-based interaction comprises three steps: choosing and connecting the appropriate hardware, cr...
145
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
137
click to vote
ENTCS
2008
15 years 4 months ago
2008
Deep inference is a proof theoretical methodology that generalizes the traditional notion of inference in the sequent calculus: in contrast to the sequent calculus, the deductive ...