Sciweavers

773 search results - page 10 / 155
» Report on a Practical Application of ASMs in Software Design
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 26 days ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
COLING
1992
13 years 9 months ago
A Case Study of Natural Language Customisation: The Practical Effects of World Knowledge
This paper proposes a methodology for the eustomisation of natural language interfaces to information retrieval applications. We report a field study in which we tested this metho...
Marilyn A. Walker, Andrew L. Nelson, Phil Stenton
VL
2009
IEEE
118views Visual Languages» more  VL 2009»
14 years 3 months ago
What designers want: Needs of interactive application designers
Designers’ extensive software needs have not been adequately documented in the research literature, and are poorly supported by software. Without appropriate tools to support th...
Valentina Grigoreanu, Roland Fernandez, Kori Inkpe...
PLDI
2006
ACM
14 years 2 months ago
Practical dynamic software updating for C
Software updates typically require stopping and restarting an application, but many systems cannot afford to halt service, or would prefer not to. Dynamic software updating (DSU) ...
Iulian Neamtiu, Michael W. Hicks, Gareth Stoyle, M...
ACMDIS
2000
ACM
14 years 29 days ago
Sitemaps, Storyboards, and Specifications: A Sketch of Web Site Design Practice
Through a study of web site design practice, we observed that web site designers employ multiple representations of web sites as they progress through the design process, and that...
Mark W. Newman, James A. Landay