940 search results - page 111 / 188 » Rules and Strategies in Java |
113
Voted
FM
2009
Springer
14 years 10 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...
102
Voted
ICFP
2007
ACM
16 years 15 days ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
117
Voted
TSE
2008
15 years 13 days ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
115
Voted
AAI
2002
15 years 13 days ago
2002
In this paper, we discuss scripting tools that aim at facilitating the design of web-based interactions with animated characters capable of affective communication. Specifically, ...
125
click to vote
MAM
2007
15 years 13 days ago
2007
This paper describes a new method of executing a software program on an FPGA for embedded systems. Rather than combine reconfigurable logic with a microprocessor core, this method...