1407 search results - page 76 / 282 » Using Use Cases in Executable Z |
159
click to vote
PTS
2000
15 years 5 months ago
2000
We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (fo...
112
click to vote
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
We define and study the process of context transfer in search advertising, which is the transition of a user from the context of Web search to the context of the landing page tha...
120
click to vote
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper addresses advanced radio resource management (RRM) algorithms for multiple-input multipleoutput (MIMO) transmission schemes in downlink OFDMA systems. The analysis c...
120
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The lack of a good understanding of customer needs within eservice initiatives caused severe financial losses in the Norwegian energy sector, resulting in the failure of...
145
click to vote
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...