64 search results - page 12 / 13 » Automated Model-Based Generation of Ravenscar-Compliant Sour... |
ICAS
2008
IEEE
14 years 26 days ago
2008
IEEE
This paper addresses the need for designing user interfaces (UIs) to workflow information systems by adopting a model-centric approach. We introduce a conceptual workflow model to...
WWW
2006
ACM
14 years 7 months ago
2006
ACM
The Web plays a critical role in hosting Web communities, their content and interactions. A prime example is the open source software (OSS) community, whose members, including sof...
BMCBI
2010
13 years 6 months ago
2010
Background: Functional genomic studies involving high-throughput sequencing and tiling array applications, such as ChIP-seq and ChIP-chip, generate large numbers of experimentally...
KBSE
2010
IEEE
13 years 4 months ago
2010
IEEE
User-input validators play an essential role in guarding a web application against application-level attacks. Hence, the security of the web application can be compromised by defe...
DSN
2009
IEEE
14 years 1 months ago
2009
IEEE
Fault injection, a critical aspect of testing robust systems, is often overlooked in the development of generalpurpose software. We believe this is due to the absence of easy-to-u...