3831 search results - page 225 / 767 » Dynamic Context Logic |
184
Voted
AMAI
2004
Springer
15 years 5 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...
183
Voted
FM
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
172
click to vote
ATAL
2011
Springer
14 years 5 months ago
2011
Springer
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...
165
click to vote
ICCD
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract— Over the last decade, the design of ultra-lowpower digital circuits in subthreshold regime has been driven by the quest for minimum energy per operation. In this contri...
190
click to vote
ILP
2004
Springer
15 years 11 months ago
2004
Springer
For the last ten years a lot of work has been devoted to propositionalization techniques in relational learning. These techniques change the representation of relational problems t...