Sciweavers

1774 search results - page 79 / 355
» Modeling Dynamic Component Interfaces
Sort
View
VISUALIZATION
1995
IEEE
14 years 18 days ago
Virtual GIS: A Real-Time 3D Geographic Information System
Advances in computer graphics hardware and algorithms, visualization, and interactive techniques for analysis offer the components for a highly integrated, efficient real-time 3D ...
David Koller, Peter Lindstrom, William Ribarsky, L...
BILDMED
2006
112views Algorithms» more  BILDMED 2006»
13 years 10 months ago
Extracting Consistent and Manifold Interfaces from Multi-valued Volume Data Sets
We propose an algorithm to construct a set of interfaces that separate the connected components of a multi-valued volume dataset. While each single interface is a manifold triangle...
Stephan Bischoff, Leif Kobbelt
EUROPAR
2005
Springer
14 years 2 months ago
A Generic Language for Dynamic Adaptation
Today, component oriented middlewares are used to design, develop and deploy distributed applications easily. They ensure the heterogeneity, interoperability, and reuse of software...
Assia Hachichi, Gaël Thomas, Cyril Martin, Be...
COMPSAC
2007
IEEE
14 years 3 months ago
An Automatic Connector Generation Method for Dynamic Architecture
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...
Yiming Yang, Xin Peng, Wenyun Zhao
SPIN
2001
Springer
14 years 1 months ago
From Model Checking to a Temporal Proof
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...
Doron Peled, Lenore D. Zuck