1288 search results - page 135 / 258 » On Analysis of Design Component Contracts: A Case Study |
104
click to vote
DATE
2006
IEEE
15 years 7 months ago
2006
IEEE
The increasing complexity of embedded systems pushes system designers to higher levels of abstraction. Transaction Level Modeling (TLM) has been proposed to model ation in systems...
159
click to vote
APSCC
2010
IEEE
14 years 8 months ago
2010
IEEE
Nowadays applications are increasingly developed based on remote Web services and service composition has become a powerful novel development paradigm. Due to the fact that such a...
120
click to vote
IJON
1998
15 years 1 months ago
1998
Bayesian Kullback Ying—Yang dependence reduction system and theory is presented. Via stochastic approximation, implementable algorithms and criteria are given for parameter lear...
108
Voted
IPPS
2008
IEEE
15 years 8 months ago
2008
IEEE
We present SNAP (Small-world Network Analysis and Partitioning), an open-source graph framework for exploratory study and partitioning of large-scale networks. To illustrate the c...
112
click to vote
ACE
2004
15 years 3 months ago
2004
In this paper we discuss using a case study to demonstrate the software engineering process from requirements, specification, preliminary user manual, prototyping, design, impleme...