2135 search results - page 347 / 427 » An Operational Semantics for JavaScript |
118
click to vote
SSDBM
2007
IEEE
15 years 8 months ago
2007
IEEE
Memory management is a critical issue in stream processing involving stateful operators such as join. Traditionally, the memory requirement for a stream join is query-driven: a qu...
130
click to vote
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...
120
Voted
CSL
2007
Springer
15 years 8 months ago
2007
Springer
Normal form bisimulation is a powerful theory of program equivalence, originally developed to characterize L´evy-Longo tree equivalence and Boehm tree equivalence. It has been ada...
104
click to vote
ECSQARU
2007
Springer
15 years 8 months ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
132
click to vote
FMCO
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...