Sciweavers

SAC
2009
ACM
14 years 6 months ago
Web-services in the dutch healthcare insurance sector: expected versus achieved benefits
The upcoming buzz words nowadays appear to be web service or open network environment [4]. This is the latest IT-technology to support business processes which is embraced by an i...
Hayley Bakker, Maria E. Iacob
SAC
2009
ACM
14 years 6 months ago
Points-to analysis for JavaScript
JavaScript is widely used by web developers and the complexity of JavaScript programs has increased over the last year. Therefore, the need for program analysis for JavaScript is ...
Dongseok Jang, Kwang-Moo Choe
SAC
2009
ACM
14 years 6 months ago
Dynamic planning and weaving of dependability concerns for self-adaptive ubiquitous services
Ubiquitous computing and service-oriented computing enable the development of a new trend of applications that can opportunely interact with services discovered in the surrounding...
Romain Rouvoy, Frank Eliassen, Mikaël Beauvoi...
SAC
2009
ACM
14 years 6 months ago
Attention driven visual processing for an interactive dialog robot
In this paper we propose an attention-based vision system for the JAST interactive dialog robot. The robotic vision system incorporates three submodules: object recognition, gestu...
Thomas Müller, Alois Knoll
SAC
2009
ACM
14 years 6 months ago
Formalizing Desargues' theorem in Coq using ranks
ÓÖÑ Ð Þ Ò ÓÑ ØÖÝ Ø ÓÖ Ñ× Ò ÔÖÓÓ ×× ×Ø ÒØ Ð ÓÕ × ÐÐ Ò Ò º × ÑÔ × Þ Ò Ø Ð Ø Ö ØÙÖ ¸ Ø ÒÓÒ¹ Ò Ö Ý ÓÒ Ø ÓÒ× Ð × ...
Nicolas Magaud, Julien Narboux, Pascal Schreck
SAC
2009
ACM
14 years 6 months ago
Using geo-spatial session tagging for smart multicast session discovery
IP multicast is increasingly seen as efficient mode of live content distribution in the Internet to significantly large subscriber bases. Despite its numerous benefits over IP u...
Piyush Harsh, Richard Newman
SAC
2009
ACM
14 years 6 months ago
An implementation of the earliest deadline first algorithm in Linux
Recently, many projects have been started to introduce some real-time mechanisms into general purpose operating systems (GPOS) in order to make them capable of providing the users...
Dario Faggioli, Michael Trimarchi, Fabio Checconi
SAC
2009
ACM
14 years 6 months ago
An enhanced multi-view video compression using the constrained inter-view prediction
We propose a method that uses the restricted inter-view prediction for multi-view video coding. In the multi-view video, there exists occluded area because of the locations and an...
Sunghwan Chun, Seoyoung Lee, Kwangmu Shin, Kidong ...
SAC
2009
ACM
14 years 6 months ago
A comparative study of techniques to write customizable libraries
Code libraries are characterized by feature-richness — and, consequently, high overhead. The library specialization problem is the problem of obtaining a low-overhead version of...
Baris Aktemur, Sam Kamin