2969 search results - page 307 / 594 » The Case for User-Centered CASE Tools |
178
click to vote
ISOLA
2004
Springer
16 years 3 days 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...
200
click to vote
OOPSLA
2004
Springer
16 years 3 days ago
2004
Springer
Component-based enterprise systems often suffer from performance issues as a result of poor system design. In this paper, we propose a framework to automatically detect, assess an...
162
click to vote
PADL
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...
173
click to vote
PRICAI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. A successful case of applying brute-force search to functional programming automation is presented and compared with a conventional genetic programming method. From the i...
179
click to vote
SPIN
2004
Springer
16 years 2 days ago
2004
Springer
We propose a new framework for black-box conformance testing of real-time systems, where specifications are modeled as nondeterministic and partially-observable timed automata. We...