Sciweavers

3021 search results - page 500 / 605
» A Domain Engineering Approach for Situational Method Enginee...
Sort
View
TCBB
2008
137views more  TCBB 2008»
15 years 6 months ago
Toward Verified Biological Models
The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of the system's behav...
Avital Sadot, Jasmin Fisher, Dan Barak, Yishai Adm...
ENTCS
2006
176views more  ENTCS 2006»
15 years 6 months ago
Gauss: A Framework for Verifying Scientific Computing Software
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopal...
JUCS
2006
94views more  JUCS 2006»
15 years 6 months ago
UML-Based Modeling of Data-oriented WEB Applications
Abstract: Recently a growing demand has arisen for methods for the development of smalland medium scale Web Information Systems (WIS). Web applications are being built in a rapidly...
Attila Adamkó
VLSID
2007
IEEE
126views VLSI» more  VLSID 2007»
16 years 6 months ago
An ECO Technique for Removing Crosstalk Violations in Clock Networks
Crosstalk noise in the clock network of digital circuits is often detected late in the design cycle, sometimes as late as after first silicon. It is therefore necessary to fix cros...
Amit Kumar, Krishnendu Chakrabarty, Chunduri Rama ...
CSE
2009
IEEE
16 years 28 days ago
Visually and Acoustically Exploring the High-Dimensional Space of Music
Abstract—The permanent growth of personal music collections caused by the ongoing digital revolution asks for novel ways of organization. Traditional list based approaches are—...
Lukas Bossard, Michael Kuhn 0002, Roger Wattenhofe...