Sciweavers

7066 search results - page 255 / 1414
» Contact Relations with Applications
Sort
View
SP
2002
IEEE
226views Security Privacy» more  SP 2002»
15 years 6 months ago
Dynamic load balancing of SAMR applications on distributed systems
Dynamic load balancing(DLB) for parallel systems has been studied extensively; however, DLB for distributed systems is relatively new. To efficiently utilize computing resources p...
Zhiling Lan, Valerie E. Taylor, Greg Bryan
FM
2009
Springer
154views Formal Methods» more  FM 2009»
15 years 4 months ago
Specification and Verification of Web Applications in Rewriting Logic
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...
María Alpuente, Demis Ballis, Daniel Romero
HIPC
2009
Springer
15 years 4 months ago
Supporting load balancing for distributed data-intensive applications
In data-intensive computing, an important problem that has received relatively little attention is of transparent processing of data stored in remote data repositories. Interesting...
Leonid Glimcher, Vignesh T. Ravi, Gagan Agrawal
CASCON
2010
225views Education» more  CASCON 2010»
15 years 3 months ago
Monitoring and Recovery of Web Service Applications
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. However, web services are dis...
Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
PRL
2011
15 years 1 months ago
Object recognition using proportion-based prior information: Application to fisheries acoustics
: This paper addresses the inference of probabilistic classification models using weakly supervised learning. The main contribution of this work is the development of learning meth...
Riwal Lefort, Ronan Fablet, Jean-Marc Boucher