10038 search results - page 1524 / 2008 » Model Checking for Managers |
154
click to vote
INEX
2007
Springer
16 years 29 days ago
2007
Springer
This paper exposes the results of our participation at INEX’07 in the AdHoc track and the comparison of these results with respect to the ones obtained last year. Three runs were...
159
click to vote
AINA
2006
IEEE
16 years 27 days ago
2006
IEEE
Pervasive computing is becoming a reality, thanks to advances in wireless networking and increased popularity of portable devices. Users of these devices will need support to deci...
210
click to vote
ISBI
2006
IEEE
16 years 25 days ago
2006
IEEE
We describe the goals and proposed design for SimTK, part of the NIH-supported Simbios National Center for Biomedical Computing. SimTK (Simulation ToolKit) will enable biomedical ...
227
click to vote
SAC
2006
ACM
16 years 23 days ago
2006
ACM
The Coalition Peering Domain (CPD) is a recent innovation within the field of mesh networking. It facilitates the management of community-area networks in a distributed and scala...
166
click to vote
APSEC
2005
IEEE
16 years 13 days ago
2005
IEEE
Requirements volatility is an important risk factor for software projects. Software measures can help in quantifying and predicting this risk. In this paper, we present an industr...