Sciweavers

5343 search results - page 327 / 1069
» Keyword programming in java
Sort
View
113
Voted
WWW
2003
ACM
16 years 4 months ago
A Multicast-On-Large-Demand Approach to the Flash Crowd Problem
In this paper we propose a multicast-on-large-demand (MOLD) approach to the flash crowd problem. A MOLD Web server may dynamically open a multicast channel for resources when dete...
Rocky K. C. Chang
ATAL
2009
Springer
15 years 10 months ago
AOR-Simulation.org: cognitive agent simulation
In this paper, we describe an ontologically well-founded agentbased discrete event simulation framework with a high-level rulemulation language and an abstract simulator architect...
Gerd Wagner, Ion-Mircea Diaconescu
125
Voted
HT
2009
ACM
15 years 10 months ago
WebNC: efficient sharing of web applications
WebNC is a system for efficiently sharing, retrieving and viewing web applications. Unlike existing screencasting and screensharing tools, WebNC is optimized to work with web page...
Laurent Denoue, John Adcock, Scott Carter, Gene Go...
200
Voted
MM
2010
ACM
324views Multimedia» more  MM 2010»
15 years 1 months ago
3D ancient mosaics
Digital 3D mosaics generation is a current trend of NPR (Non Photorealistic Rendering) field; in this demo we present an interactive system realized in JAVA where the user can sim...
Sebastiano Battiato, Giovanni Puglisi
126
Voted
ATAL
2006
Springer
15 years 7 months ago
The complexity of model checking concurrent programs against CTLK specifications
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
Alessio Lomuscio, Franco Raimondi