2342 search results - page 173 / 469 » A Methodology for Evaluating Software Engineering Methods an... |
169
click to vote
ICST
2009
IEEE
15 years 2 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
128
click to vote
DAC
2009
ACM
15 years 9 months ago
2009
ACM
— Digital signal processing applications often require the computation of linear systems. These computations can be considerably expensive and require optimizations for lower pow...
140
click to vote
IUI
2009
ACM
16 years 1 months ago
2009
ACM
We all encounter many documents on a daily basis that we do not have time to process in their entirety. Nevertheless, we lack good tools to rapidly skim and identify key informati...
153
click to vote
DEBS
2010
ACM
15 years 8 months ago
2010
ACM
An event-based solution that uses events to convey information to a monitoring tool is well suited to implementing a non-intrusive monitoring infrastructure. This enables an SOA s...
114
click to vote
WOSP
2000
ACM
15 years 9 months ago
2000
ACM
In this paper, we illustrate a model-based approach to Web server performance evaluation, and present an analytic queueing model of Web servers in distributed environments. Perfor...