5775 search results - page 330 / 1155 » A Rationale-based Analysis Tool |
181
click to vote
CC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. Several mathematical frameworks for static analysis of programs have been developed in the past decades. Although these tools are quite useful, they have still many limit...
179
click to vote
FASE
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Distributed applications rely on middleware to enable interaction among remote components. Thus, the overall performance increasingly depends on the interplay between the...
224
click to vote
IEAAIE
2004
Springer
16 years 4 days ago
2004
Springer
This paper presents a methodology to automate natural language requirements analysis and class model generation based on the Rational Unified Process (RUP). Use-case language schem...
179
click to vote
ISOLA
2004
Springer
16 years 4 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...
173
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— We present a method for complexity reduction in reachability analysis and controller synthesis via a Schur-based decomposition for LTI systems. The decomposition yields either ...