Sciweavers

10274 search results - page 432 / 2055
» Lean Software Development
Sort
View
UML
2001
Springer
16 years 13 hour ago
UML Support for Designing Software Systems as a Composition of Design Patterns
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...
Sherif M. Yacoub, Hany H. Ammar
TPHOL
1998
IEEE
15 years 12 months ago
The Village Telephone System: A Case Study in Formal Software Engineering
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
Karthikeyan Bhargavan, Carl A. Gunter, Elsa L. Gun...
CHES
2006
Springer
179views Cryptology» more  CHES 2006»
15 years 11 months ago
Offline Hardware/Software Authentication for Reconfigurable Platforms
Abstract. Many Field-Programmable Gate Array (FPGA) based systems utilize third-party intellectual property (IP) in their development. When they are deployed in non-networked envir...
Eric Simpson, Patrick Schaumont
194
Voted
BMCBI
2010
93views more  BMCBI 2010»
15 years 7 months ago
JunctionViewer: customizable annotation software for repeat-rich genomic regions
Background: Repeat-rich regions such as centromeres receive less attention than their gene-rich euchromatic counterparts because the former are difficult to assemble and analyze. ...
Thomas K. Wolfgruber, Gernot G. Presting
HCI
2009
15 years 5 months ago
YVision: A General Purpose Software Composition Framework
Abstract. Expectations for the industry of Human Computer Interaction are much higher today than they were ten or even five years ago. Innovative solutions to sense and gather info...
Antão Almada, Gonçalo Lopes, Andr&ea...