Sciweavers

1774 search results - page 79 / 355
» Modeling Dynamic Component Interfaces
Sort
View
VISUALIZATION
1995
IEEE
15 years 5 months 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»
15 years 3 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
15 years 7 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...
134
Voted
COMPSAC
2007
IEEE
15 years 8 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
15 years 6 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