14720 search results - page 289 / 2944 » Interface |
180
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...
167
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
185
click to vote
CLUSTER
2001
IEEE
15 years 10 months ago
2001
IEEE
The Virtual Interface Architecture (VIA) is an industry standard user-level communication architecture for system area networks. The VIA provides a protected, directlyaccessible i...
132
click to vote
EWSPT
1995
Springer
15 years 10 months ago
1995
Springer
A wide variety of techniques and approaches are needed to understand and improve software development processes. The critical research problem is supporting the move from completel...
176
click to vote
EICS
2010
ACM
15 years 8 months ago
2010
ACM
Current trends in web development still are attached to the web page paradigm. Nevertheless, new uses of already available technology and recent development in terms of concepts, ...