1890 search results - page 201 / 378 » Model-Based Testing in Practice |
165
click to vote
CSCW
2006
ACM
16 years 14 days ago
2006
ACM
Media sharing over mobile devices is quickly becoming a common practice, used to support a variety of social processes. Most existing systems employ a model of sharing that treats...
152
click to vote
HICSS
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper develops and tests a model of the impact of licensing restrictiveness and organizational sponsorship on the popularity and vitality of open source software (OSS) develo...
156
click to vote
ICITA
2005
IEEE
16 years 2 days ago
2005
IEEE
Security protocols are indispensable in secure communication. We give an operational semantics of security protocols in terms of a Prolog-like language. With this semantics, we ca...
125
click to vote
ICMCS
2005
IEEE
16 years 2 days ago
2005
IEEE
This paper investigates performance measures of adaptive echo cancellers for packet-based telephony. It is shown that steady-state echo return loss enhancement (ERLE) does not acc...
153
click to vote
ICTAI
2005
IEEE
16 years 2 days ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...