1677 search results - page 165 / 336 » On the Completeness of Quantum Computation Models |
179
click to vote
CAD
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a novel methodology for deriving the dynamic equations of mechatronic systems from component models that are represented as linear graphs. This work is part of...
200
click to vote
SAC
2009
ACM
16 years 1 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
166
click to vote
CHARME
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
146
click to vote
IMR
2004
Springer
15 years 12 months ago
2004
Springer
We present a method that computes a global potentially visible set for the complete region outside the convex hull of an object. The technique is used to remove invisible parts (t...
139
click to vote
NOSSDAV
2004
Springer
15 years 12 months ago
2004
Springer
In peer-to-peer overlay for video broadcast, peers contribute a portion of the bandwidth to the overlay in return for the service. In the presence of network heterogeneity, it is ...