1116 search results - page 119 / 224 » An Eclipse-based tool framework for software model managemen... |
164
click to vote
ECBS
2003
IEEE
15 years 11 months ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
159
click to vote
RIDE
1999
IEEE
15 years 10 months ago
1999
IEEE
Advances in computer networking technology and open system standards are making the creation and management of virtual enterprises feasible. A virtual enterprise is a temporary co...
146
click to vote
CCE
2004
15 years 6 months ago
2004
Numerous approaches to information modeling exist within chemical engineering representing product data, work processes, or other information. These models have a limited scope an...
171
click to vote
HIPC
2005
Springer
15 years 12 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...
195
click to vote
WSE
2005
IEEE
15 years 12 months ago
2005
IEEE
Many of existing criteria for evaluating web sites quality require methods such as heuristic evaluations, or/and empirical usability tests. This paper aims at defining a quality m...