5630 search results - page 933 / 1126 » Computability in Specification |
192
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
As the importance of multimedia applications in hand-held devices increases, the computational strain and corresponding demand for energy in such devices continues to grow. Portab...
204
click to vote
COMPGEOM
2008
ACM
15 years 8 months ago
2008
ACM
The Delaunay triangulation and its dual the Voronoi diagram are ubiquitous geometric complexes. From a topological standpoint, the connection has recently been made between these ...
166
click to vote
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
It is often argued that rapidly increasing video content along with the penetration of high-speed access is leading to explosive growth in the Internet traffic. Contrary to this p...
176
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
176
click to vote
DEBS
2008
ACM
15 years 8 months ago
2008
ACM
Two convincing paradigms have emerged for achieving scalability in widely distributed systems: publish/subscribe communication and role-based, policy-driven control of access to t...