Sciweavers

1173 search results - page 122 / 235
» On the Compositionality of Round Abstraction
Sort
View
CNSR
2008
IEEE
118views Communications» more  CNSR 2008»
15 years 7 months ago
Overall Performance Assessment of Energy-Aware Cooperative Techniques Exploiting Multiple Description and Scalable Video Coding
Abstract— In this paper we develop and analyze energyefficient cooperative techniques for multimedia applications over wireless networks. The composite cellular-short-range netw...
Federico Albiero, Janne Vehkaperä, Marcos D. ...
92
Voted
ESWS
2007
Springer
15 years 6 months ago
An Ontology for Executable Business Processes
Abstract The Web Service Business Process Execution Language (WSBPEL) is the de facto standard for describing workflow-like compositions of Web services, so-called Web service orc...
Jörg Nitzsche, Daniel Wutke, Tammo van Lessen
93
Voted
IH
2007
Springer
15 years 6 months ago
Exposing Digital Forgeries Through Specular Highlights on the Eye
Abstract. When creating a digital composite of two people, it is difficult to exactly match the lighting conditions under which each individual was originally photographed. In many...
Micah K. Johnson, Hany Farid
91
Voted
TGC
2007
Springer
15 years 6 months ago
Elimination of Ghost Variables in Program Logics
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
Martin Hofmann, Mariela Pavlova
99
Voted
SOSE
2006
IEEE
15 years 6 months ago
Service Engineering Design Patterns
Design of service-oriented applications differs from design of the component-based applications in granularity, abstraction and dynamic environment in which binding between client...
Nikola Milanovic