3828 search results - page 607 / 766 » Proof-Based System Engineering Using a Virtual System Model |
125
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
We explore the problem of modeling Internet connectivity at the Autonomous System (AS) level and present an economically-principled dynamic model that reproduces key features of t...
155
Voted
ICCSA
2010
Springer
15 years 2 months ago
2010
Springer
Recently, it is one of the most challenging fields in software engineering for embedded software development, since the advancement of embedded technologies has made our life incre...
150
click to vote
JUCS
2006
15 years 5 months ago
2006
Abstract: Recently a growing demand has arisen for methods for the development of smalland medium scale Web Information Systems (WIS). Web applications are being built in a rapidly...
140
Voted
CSB
2003
IEEE
15 years 10 months ago
2003
IEEE
Reverse-engineering of gene networks using linear models often results in an underdetermined system because of excessive unknown parameters. In addition, the practical utility of ...
171
click to vote
KDD
2012
ACM
13 years 7 months ago
2012
ACM
In order to minimize redundancy and optimize coverage of multiple user interests, search engines and recommender systems aim to diversify their set of results. To date, these dive...