10038 search results - page 489 / 2008 » Model Checking for Managers |
218
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...
190
click to vote
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
174
click to vote
EAAI
2008
15 years 7 months ago
2008
We describe the Flight Manager Assistant (FMA), a prototype system, designed to support real-time management of airlift operations at the USAF Air Mobility Command (AMC). In curre...
312
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
This paper describes how to fit fractal models, online, on IP traffic data streams. Our approach relies on maintaining a sketch of the data stream and fitting straight lines: it y...
150
click to vote
ESEM
2007
ACM
15 years 11 months ago
2007
ACM
It is important for test managers to be able to estimate the effort required to execute the test suites requested by development teams, as well to estimate its capacity for attend...