Sciweavers

4126 search results - page 756 / 826
» Set based logic programming
Sort
View
SDL
2001
110views Hardware» more  SDL 2001»
13 years 9 months ago
Timed Extensions for SDL
In this paper we propose some extensions necessary to enable the speci cation and description language SDL to become an appropriate formalism for the design of real-time and embedd...
Marius Bozga, Susanne Graf, Laurent Mounier, Iulia...
SOQUA
2004
13 years 9 months ago
Measuring Component Performance Using A Systematic Approach and Environment
: As more third-party software components are available in the commercial market, more people begin to use the component-based software engineering approach to developing component...
Jerry Gao, Chandra S. Ravi, Raquel Espinoza
ICIS
1997
13 years 9 months ago
Evolution of a virtual community: understanding design issues through a longitudinal study
Although the potential impacts of virtual communities have been widely recognized in business and academia, little research has been done to provide guidelines for design of such ...
Arvind Malhotra, Sanjay Gosain, Alexander Hars
SPLC
2000
13 years 9 months ago
Value-based software engineering (VBSE)
: We consider a set of programs a family when it pays to look at their common aspects before looking at their differences. For commercial software developers the implications are t...
Stuart R. Faulk, Robert R. Harmon, David Raffo
AAAI
1994
13 years 9 months ago
Intelligent Automated Grid Generation for Numerical Simulations
Numerical simulation of partial differential equations (PDEs) plays a crucial role in predicting the behavior of physical systems and in modern engineering design. However, in ord...
Ke-Thia Yao, Andrew Gelsey