Sciweavers

ZUM
2000
Springer
101views Formal Methods» more  ZUM 2000»
13 years 7 months ago
Analysis of Compiled Code: A Prototype Formal Model
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
R. D. Arthan
AIME
2003
Springer
13 years 8 months ago
Rhetorical Coding of Health Promotion Dialogues
Health promotion is a complex activity that requires both explanation and persuasion skills. This paper proposes a three-layered model of dialogue coding, based on a rhetorical arg...
Floriana Grasso
VL
2003
IEEE
121views Visual Languages» more  VL 2003»
13 years 9 months ago
Visual methods for web application design
The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with web-based simulations of user interfaces to permit validation...
Robert Chatley, Jeff Kramer, Jeff Magee, Sebasti&a...
DATE
2008
IEEE
102views Hardware» more  DATE 2008»
13 years 10 months ago
A New Approach for Combining Yield and Performance in Behavioural Models for Analogue Integrated Circuits
A new algorithm is presented that combines performance and variation objectives in a behavioural model for a given analogue circuit topology and process. The tradeoffs between per...
Sawal Ali, Reuben Wilcock, Peter R. Wilson, Andrew...