Sciweavers

5599 search results - page 728 / 1120
» Abstract State Services
Sort
View

Book
316views
17 years 2 months ago
Aspects of AJAX
"This book is about an AJAX Framework and an AJAX Engine for JavaScript, XML, SOAP, WSDL und ASP.NET using standard Web Services on the server. The basic elements for a...
Matthias Hertel
MOBISYS
2009
ACM
16 years 7 months ago
StarTrack: a framework for enabling track-based applications
Mobile devices are increasingly equipped with hardware and software services allowing them to determine their locations, but support for building location-aware applications remai...
Ganesh Ananthanarayanan, Maya Haridasan, Iqbal Moh...
EDBT
2006
ACM
130views Database» more  EDBT 2006»
16 years 7 months ago
Querying and Updating Probabilistic Information in XML
Abstract. We present in this paper a new model for representing probabilistic information in a semi-structured (XML) database, based on the use of probabilistic event variables. Th...
Serge Abiteboul, Pierre Senellart
ICSE
2003
IEEE-ACM
16 years 6 months ago
Component Technology - What, Where, and How?
Software components, if usedproperly, ofj~r many software engineering benefits. Yet, they also pose many original challenges starting fi'om quality assurance and ranging to a...
Clemens A. Szyperski
TACAS
2010
Springer
142views Algorithms» more  TACAS 2010»
16 years 1 months ago
Tracking Heaps That Hop with Heap-Hop
Abstract. Heap-Hop is a program prover for concurrent heap-manipulating programs that use Hoare monitors and message-passing synchronization. Programs are annotated with pre and po...
Jules Villard, Étienne Lozes, Cristiano Cal...