Sciweavers

2448 search results - page 259 / 490
» The Octahedron Abstract Domain
Sort
View
UIALL
2004
Springer
15 years 12 months ago
Using Automatic Tools in Accessibility and Usability Assurance Processes
Abstract. The paper claims that processes for monitoring, assessing and ensuring appropriate levels of accessibility and usability have to be adopted by web development and mainten...
Giorgio Brajnik
164
Voted
XPU
2004
Springer
15 years 12 months ago
Generative Acceptance Testing for Difficult-to-Test Software
Abstract. While there are many excellent acceptance testing tools and frameworks available today, this paper presents an alternative approach, involving generating code from tests ...
Jennitta Andrea
DATE
2003
IEEE
130views Hardware» more  DATE 2003»
15 years 12 months ago
Noise Macromodel for Radio Frequency Integrated Circuits
† Noise performance is a critical analog and RF circuit design constraint, and can impact the selection of the IC system-level architecture. It is therefore imperative that some ...
Yang Xu, Xin Li, Peng Li, Lawrence T. Pileggi
ICEIS
2003
IEEE
15 years 12 months ago
An XML View of the "World"
Abstract: The paper presents ”Any Input XML Output” (AIXO), a general and flexible software architecture for wrappers. The architecture has been designed to present data sourc...
Ezio Bartocci, Emanuela Merelli, Leonardo Mariani
RTSS
2003
IEEE
15 years 12 months ago
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...
Zonghua Gu, Shige Wang, Sharath Kodase, Kang G. Sh...