Sciweavers

9974 search results - page 229 / 1995
» Software Interconnection Models
Sort
View
IASTEDSEA
2004
15 years 8 months ago
A component model for building systems software
OpenCOM v2 is our experimental language-independent component-based systems-building technology. OpenCOM offers more than merely a component-based programming model. First, it is ...
Geoff Coulson, Gordon S. Blair, Paul Grace, Ackbar...
COMPSAC
2005
IEEE
16 years 4 days ago
Model-Based Software Testing and Verification
tract Co-Chairs Fei Xie, Portland State University, USA Jeff Lei, University of Texas at Arlington, USA Program Committee Members Sheikh Iqbal Ahamed, Marquette University, USA Doo...
Aditya P. Mathur
UML
2005
Springer
15 years 12 months ago
Integrated Model-Based Software Development, Data Access, and Data Migration
In this paper we describe a framework for robust system maintenance that addresses specific challenges of data-centric applications. We show that for data-centric applications, cl...
Behzad Bordbar, Dirk Draheim, Matthias Horn, Ina S...
HICSS
2000
IEEE
144views Biometrics» more  HICSS 2000»
15 years 11 months ago
Diffusion Follows Structure - A Network Model of the Software
By conducting simulations, we show that the structure of the personal networks significantly influences the diffusion processes in network effect markets like the software market....
Falk von Westarp, Oliver Wendt
IJCAI
2007
15 years 8 months ago
A Factor Graph Model for Software Bug Finding
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
Ted Kremenek, Andrew Y. Ng, Dawson R. Engler