Sciweavers

2878 search results - page 175 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
164
Voted
SP
2003
IEEE
121views Security Privacy» more  SP 2003»
15 years 11 months ago
Specifying and Verifying Hardware for Tamper-Resistant Software
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
David Lie, John C. Mitchell, Chandramohan A. Thekk...
CLEIEJ
2006
110views more  CLEIEJ 2006»
15 years 5 months ago
Requirements Engineering Contributions on the Development of Educational Software for the Blind or People with Impaired Vision -
: This paper presents an account of the experience observed when obtaining a set of requirements for the development of educational software for people with impaired vision. Numero...
Victor Francisco Araya Santander, Dorisvaldo Rodri...
KDD
2007
ACM
151views Data Mining» more  KDD 2007»
16 years 6 months ago
Efficient mining of iterative patterns for software specification discovery
Studies have shown that program comprehension takes up to 45% of software development costs. Such high costs are caused by the lack-of documented specification and further aggrava...
Chao Liu 0001, David Lo, Siau-Cheng Khoo
SEKE
2005
Springer
15 years 11 months ago
Design an Interoperable Mobile Agent System Based on Predicate Transition Net Models
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems,...
Junhua Ding, Dianxiang Xu, Yi Deng, Peter J. Clark...
BMCBI
2010
92views more  BMCBI 2010»
15 years 5 months ago
YODA: Software to facilitate high-throughput analysis of chronological life span, growth rate, and survival in budding yeast
Background: The budding yeast Saccharomyces cerevisiae is one of the most widely studied model organisms in aging-related science. Although several genetic modifiers of yeast long...
Brady Olsen, Christopher J. Murakami, Matt Kaeberl...