Sciweavers

7918 search results - page 271 / 1584
» Model Composition Directives
Sort
View
TPDS
2008
111views more  TPDS 2008»
15 years 4 months ago
Comments on "Optimal Resource Allocation in Overlay Multicast"
In this comments paper, we revisit the network model introduced in [1]. We discuss the inaccuracy of the model and, to correct the network model, we propose to apply directed capac...
Jinyao Yan, Martin May, Bernhard Plattner
WWW
2004
ACM
16 years 5 months ago
Analysis of interacting BPEL web services
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
Xiang Fu, Tevfik Bultan, Jianwen Su
FORMATS
2007
Springer
15 years 8 months ago
Partial Order Reduction for Verification of Real-Time Components
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
John Håkansson, Paul Pettersson
CHI
2009
ACM
16 years 5 months ago
Pulp-based computing: a framework for building computers out of paper
In this paper, we describe a series of techniques for building sensors, actuators and circuit boards that behave, look, and feel like paper. By embedding electro-active inks, condu...
Marcelo Coelho, Lyndl Hall, Joanna Berzowska, Patt...
IH
2007
Springer
15 years 10 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