Sciweavers

3400 search results - page 216 / 680
» tools 2008
Sort
View
CCS
2008
ACM
15 years 8 months ago
Enforcing a security pattern in stakeholder goal models
Patterns are useful knowledge about recurring problems and solutions. Detecting a security problem using patterns in requirements models may lead to its early solution. In order t...
Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Ying...
CHI
2008
ACM
15 years 8 months ago
Toped: enabling end-user programmers to validate data
Existing tools require end-user programmers (EUPs) to write regular expressions ("regexps") or even scripts to validate textual inputs, which is slow and error-prone. We...
Christopher Scaffidi, Brad A. Myers, Mary Shaw
CONCUR
2008
Springer
15 years 8 months ago
Completeness and Nondeterminism in Model Checking Transactional Memories
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
ECAIW
2008
Springer
15 years 8 months ago
Automatic Tailoring of an Actor Profile Ontology
Abstract. Knowledge tailoring is a powerful tool to customize a system according to the particular view and interests of the user, in such a way that usability of the system become...
Montserrat Batet, Aïda Valls, Karina Gibert, ...
EVOW
2008
Springer
15 years 8 months ago
An Evolutionary Methodology for Test Generation for Peripheral Cores Via Dynamic FSM Extraction
Traditional test generation methodologies for peripheral cores are performed by a skilled test engineer, leading to long generation times. In this paper a test generation methodolo...
Danilo Ravotto, Ernesto Sánchez, Massimilia...