3828 search results - page 408 / 766 » Proof-Based System Engineering Using a Virtual System Model |
165
click to vote
WOSP
2000
ACM
15 years 11 months ago
2000
ACM
We present an analytic technique for modeling load balancing policies on a cluster of servers conditioned on the fact that the service times of arriving tasks are drawn from heavy...
172
click to vote
DSVIS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
156
click to vote
SOFTVIS
2006
ACM
16 years 22 days ago
2006
ACM
Enabling nonexperts to understand a software system and the scenarios of usage of that system can be challenging. Visually modeling a collection of scenarios as social interaction...
195
Voted
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
Java is one of the most popular programming languages for the development of portable workstation and server applications available today. Because of its clean design and typesafe...
167
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Quality is becoming increasingly important with the continuous adoption of open-source software. Previous research has found that there is generally a positive relationship betwee...