371 search results - page 17 / 75 » A New Method for Interoperability Test Generation |
IGPL
2000
14 years 11 months ago
2000
Recent years have seen the emergence of a new generation of heavily-optimised modal decision procedures. Several systems based on such procedures are now available and have proved...
100
click to vote
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— – Major research challenges in the next generation of wireless networks include the provisioning of worldwide seamless mobility across heterogeneous wireless networks, the im...
107
click to vote
ICES
2000
Springer
15 years 3 months ago
2000
Springer
Testing is a key issue in the design and production of digital circuits: the adoption of BIST (Built-In Self-Test) techniques is increasingly popular, but requires efficient algori...
104
click to vote
FMICS
2006
Springer
15 years 3 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...
120
click to vote
JOT
2007
14 years 11 months ago
2007
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...