12118 search results - page 2214 / 2424 » User interface tools |
156
click to vote
FASE
2007
Springer
16 years 21 days ago
2007
Springer
The play-in/play-out approach suggests a new paradigm for system development using scenario-based requirements. It allows the user to develop a high level scenario-based model of t...
153
click to vote
FMCAD
2007
Springer
16 years 21 days ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
176
click to vote
GPCE
2007
Springer
16 years 21 days ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
183
click to vote
GRID
2007
Springer
16 years 21 days ago
2007
Springer
— Today’s system monitoring tools are capable of detecting system failures such as host failures, OS errors, and network partitions in near-real time. Unfortunately, the same c...
180
click to vote
ISI
2007
Springer
16 years 21 days ago
2007
Springer
—A Weblog is a Web site where entries are made in diary style, maintained by its sole author – a blogger, and displayed in a reverse chronological order. Due to the freedom and...