Sciweavers

3872 search results - page 722 / 775
» The Java memory model
Sort
View
DOCENG
2008
ACM
13 years 11 months ago
Adaptation of scalable multimedia documents
Several scalable media codecs have been standardized in recent years to cope with heterogeneous usage conditions and to aim at always providing audio, video and image content in t...
Benoît Pellan, Cyril Concolato
GECCO
2008
Springer
129views Optimization» more  GECCO 2008»
13 years 11 months ago
Searching for liveness property violations in concurrent systems with ACO
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
Enrique Alba, J. Francisco Chicano
ADHOC
2007
169views more  ADHOC 2007»
13 years 10 months ago
Ensuring strong data guarantees in highly mobile ad hoc networks via quorum systems
Ensuring the consistency and the availability of replicated data in highly mobile ad hoc networks is a challenging task because of the lack of a backbone infrastructure. Previous ...
Daniela Tulone
ICDE
2012
IEEE
269views Database» more  ICDE 2012»
12 years 11 days ago
A Deep Embedding of Queries into Ruby
—We demonstrate SWITCH, a deep embedding of relational queries into RUBY and RUBY on RAILS. With SWITCH, there is no syntactic or stylistic difference between RUBY programs that ...
Torsten Grust, Manuel Mayr
KIVS
2005
Springer
14 years 3 months ago
Globale Referenzen basierend auf SOAP
Abstract: SOAP wurde als leichtgewichtiges Protokoll zum Austausch von strukturierten Informationen in einer verteilten Umgebung konzipiert und bildet so die Basis der ” Web Serv...
Gerhard Austaller, Eric Roth