Sciweavers

355 search results - page 56 / 71
» WWM: A Practical Methodology for Web Application Modeling
Sort
View
105
Voted
IRI
2007
IEEE
15 years 6 months ago
The Software Reuse Working Group: A Case Study in Fostering Reuse
Packaging software assets for reuse can improve the potential for others to adopt the software. Packaging the software with appropriate documentation and other resources can facil...
Ryan Gerard, Robert R. Downs, James J. Marshall, R...
84
Voted
CCE
2006
15 years 14 days ago
Ontological informatics infrastructure for pharmaceutical product development and manufacturing
Informatics infrastructure plays a crucial role in supporting different decision making activities related to pharmaceutical product development, pilot plant and commercial scale ...
Venkat Venkatasubramanian, Chunhua Zhao, Girish Jo...
ASPDAC
2008
ACM
106views Hardware» more  ASPDAC 2008»
15 years 1 months ago
Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...
Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Webe...
118
Voted
BMCBI
2010
175views more  BMCBI 2010»
15 years 16 days ago
Global parameter estimation methods for stochastic biochemical systems
Background: The importance of stochasticity in cellular processes having low number of molecules has resulted in the development of stochastic models such as chemical master equat...
Suresh Kumar Poovathingal, Rudiyanto Gunawan
115
Voted
COMPSAC
2011
IEEE
14 years 7 days ago
Palimpsests of Time and Place
— This paper discusses ongoing research into the development of an original composition portfolio themed on the concept of palimpsests of time and place. The research involves th...
Jerry Fishenden, Andrew Hugill