1944 search results - page 228 / 389 » Coupling-based Integration Testing |
108
click to vote
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
106
click to vote
AICCSA
2001
IEEE
15 years 4 months ago
2001
IEEE
This paper presents a novel approach based on clustering algorithms in combination with the location area (LA) scheme to solve the mobility management problem. Users' movemen...
104
Voted
ASPDAC
2001
ACM
15 years 4 months ago
2001
ACM
Ethernet communication devices, such as adapter, hub, bridge and switch, all follow IEEE 802.3 standard protocol. We have designed and implemented an integrated 10/100 Mbps Etherne...
87
Voted
ICSE
2000
IEEE-ACM
15 years 4 months ago
2000
IEEE-ACM
The work described in this paper is an investigation of COTS-based software development within a particular NASA environment, with an emphasis on the processes used. Fifteen proje...
ACMDIS
1997
ACM
15 years 4 months ago
1997
ACM
A multidisciplinary team at Philips Sound and Vision's TV Lab developed an E-mail-on-TV functionality. Their objective is to offer the benefits of E-mail to people in their l...