Sciweavers

2135 search results - page 309 / 427
» An Operational Semantics for JavaScript
Sort
View
189
Voted
ICAI
2010
15 years 15 days ago
A Programming Environment for Bousi-Prolog
BousiProlog is a fuzzy logic programming language which is an extension of the standard Prolog language. The BousiProlog operational semantics is an adaptation of the SLD resoluti...
Pascual Julián Iranzo, Clemente Rubio-Manza...
IANDC
2010
125views more  IANDC 2010»
14 years 12 months ago
A thread calculus with molecular dynamics
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory...
Jan A. Bergstra, C. A. Middelburg
103
Voted
JMLR
2010
102views more  JMLR 2010»
14 years 9 months ago
Visualization of Online Discussion Forums
This paper describes a set of visualization tools which aid the understanding of discussion topics and trends in online discussion forums. The tools integrate into the forum'...
Mitja Trampus, Marko Grobelnik
216
Voted
ICDE
2000
IEEE
125views Database» more  ICDE 2000»
16 years 3 months ago
An Algebraic Compression Framework for Query Results
Decision-support applications in emerging environments require that SQL query results or intermediate results be shipped to clients for further analysis and presentation. These cl...
Zhiyuan Chen, Praveen Seshadri
OSDI
2002
ACM
16 years 2 months ago
Ivy: A Read/Write Peer-to-Peer File System
Ivy is a multi-user read/write peer-to-peer file system. Ivy has no centralized or dedicated components, and it provides useful integrity properties without requiring users to ful...
Athicha Muthitacharoen, Robert Morris, Thomer M. G...