5630 search results - page 879 / 1126 » Computability in Specification |
168
click to vote
CCR
2004
15 years 6 months ago
2004
Scheduling algorithms for input-queued packet switches have been widely researched. It has been shown that various classes of scheduling algorithms provide guarantees on stability ...
181
click to vote
CCR
2004
15 years 6 months ago
2004
Peer-to-peer (P2P) networks represent an effective way to share information, since there are no central points of failure or bottleneck. However, the flip side to the distributive...
163
click to vote
CGF
2004
15 years 6 months ago
2004
We present Volume dots (Vots), a new primitive for volumetric data modelling, processing, and rendering. Vots are a point-based representation of volumetric data. An individual Vo...
175
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Emerging mobility standards within the next generation Internet Protocol, IPv6, promise to continuously operate devices roaming between IP networks. Associated with the paradigm o...
157
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...