462 search results - page 90 / 93 » MMINT: A Graphical Tool for Interactive Model Management |
142
click to vote
TACAS
2009
Springer
16 years 1 days ago
2009
Springer
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
153
click to vote
HIPC
2005
Springer
15 years 10 months ago
2005
Springer
In this paper we describe the design and implementation of a C++ based Common Component Architecture (CCA) framework, XCAT-C++. It can efficiently marshal and unmarshal large data...
132
click to vote
HICSS
2002
IEEE
15 years 10 months ago
2002
IEEE
The threat of abandoned or extensively overhauled IS is a major concern for both MIS specialists and businesses. This concern may stem from the mismatch between MIS specialist cha...
179
click to vote
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
We introduce a technique to visualize the gradual evolutionary change of the shapes of living things as a morph between known three-dimensional shapes. Given geometric computer mo...
167
click to vote
TPHOL
2009
IEEE
15 years 12 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...