585 search results - page 54 / 117 » Strategy Logic |
139
click to vote
ENTCS
2008
15 years 2 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 ...
150
click to vote
ICFEM
2010
Springer
15 years 13 days 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...
113
click to vote
CHI
2007
ACM
16 years 2 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...
127
Voted
ATAL
2010
Springer
15 years 2 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...
115
click to vote
ENTCS
2008
15 years 2 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 ...