Sciweavers

6348 search results - page 985 / 1270
» Extensible control architectures
Sort
View
CONCUR
1999
Springer
15 years 8 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
ICCCN
1998
IEEE
15 years 8 months ago
A Two-Phase Inter-Switch Handoff Scheme for Wireless ATM Networks
Supporting mobility in Wireless ATM networks poses a number of technical issues. An important issue is the ability to reroute ongoing virtual connections during handoff as mobile ...
Khaled Salah, Elias Drakopoulos
ICNP
1998
IEEE
15 years 8 months ago
Receiver-based Multicast Scoping: A New Cost-Conscious Join/Leave Paradigm
In Internet multicast, the set of receivers can be dynamic with receivers joining and leaving a group asynchronously and without the knowledge of the sources. The Internet today u...
George F. Riley, Mostafa H. Ammar, Lenitra M. Clay
RT
1999
Springer
15 years 8 months ago
Decoupling Polygon Rendering from Geometry using Rasterization Hardware
The dramatically increasing size of polygonal models resulting from 3D scanning devices and advanced modeling techniques requires new approaches to reduce the load of geometry tran...
Rüdiger Westermann, Ove Sommer, Thomas Ertl
PG
1998
IEEE
15 years 8 months ago
General Constrained Deformations based on Generalized Metaballs
Space deformation is an important tool in computer animation and shape design. In this paper we propose a new local deformation model based on generalized metaballs. The user spec...
Xiaogang Jin, Youfu Li, Qunsheng Peng