4285 search results - page 366 / 857 » Differential Behavioral Analysis |
203
click to vote
FMCO
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
200
click to vote
ANSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The data traffic in wireless networks for the third generation (3G) mobile telecommunication systems should take into account a variety of services (voice, data, video) and envir...
224
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
When a software system enters the maintenance phase, the availability of accurate and consistent information about its organization can help alleviate the difficulties of program...
180
click to vote
ICC
2000
IEEE
15 years 11 months ago
2000
IEEE
— In this paper, we present a framework for the analysis of a set of adaptive variable-bit-rate voice sources in a packet network. The instantaneous bit rate of each source is de...
203
click to vote
ICNP
2000
IEEE
15 years 11 months ago
2000
IEEE
Recently, audio and video delivery services are widely spread in the Internet. In order to deliver these data to multiple receivers at the same time, the multicast technologies ar...