Sciweavers

2123 search results - page 260 / 425
» Composition of Cyber-Physical Systems
Sort
View
MSE
2002
IEEE
179views Hardware» more  MSE 2002»
15 years 11 months ago
A SOAP-Oriented Component-Based Framework Supporting Device-Independent Multimedia Web Services
A web service is a programmable web application accessible using standard Internet protocols. A threelayer architecture has been suggested for web services: service providers, ser...
Jia Zhang, Jen-Yao Chung
APN
2010
Springer
15 years 11 months ago
Factorization Properties of Symbolic Unfoldings of Colored Petri Nets
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
Thomas Chatain, Eric Fabre
CPAIOR
2010
Springer
15 years 11 months ago
Constraint-Based Local Search for Constrained Optimum Paths Problems
Constrained Optimum Path (COP) problems arise in many real-life applications and are ubiquitous in communication networks. They have been traditionally approached by dedicated algo...
Pham Quang Dung, Yves Deville, Pascal Van Hentenry...
SIGGRAPH
2010
ACM
15 years 11 months ago
Image warps for artistic perspective manipulation
Painters and illustrators commonly sketch vanishing points and lines to guide the construction of perspective images. We present a tool that gives users the ability to manipulate ...
Robert Carroll, Aseem Agarwala, Maneesh Agrawala
SIGGRAPH
2000
ACM
15 years 11 months ago
Lapped textures
We present a method for creating texture over an arbitrary surface mesh using an example 2D texture. The approach is to identify interesting regions (texture patches) in the 2D ex...
Emil Praun, Adam Finkelstein, Hugues Hoppe