3954 search results - page 233 / 791 » Image-based Model Completion |
167
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
The development of large software systems demands intensive cooperation among multiple project team members with different responsibilities. The development process is often distr...
164
click to vote
SIGCOMM
1994
ACM
15 years 10 months ago
1994
ACM
Network arrivals are often modeled as Poisson processes for analytic simplicity, even though a number of traffic studies have shown that packet interarrivals are not exponentially...
146
click to vote
SPAA
1990
ACM
15 years 10 months ago
1990
ACM
A wad-free implementation of a data object in shared memory is one that guarantees that any process can complete any operation in a finite number of steps, regardless of the execu...
198
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
174
click to vote
ER
2000
Springer
15 years 10 months ago
2000
Springer
The application of conceptual models that assure both the consistency and usability of Electronic Product Catalogs (EPC's) is a main concern in the e-commerce community, mainl...