Sciweavers

306 search results - page 22 / 62
» Engineering agent-mediated integration of bioinformatics ana...
Sort
View
SOCO
2009
Springer
15 years 11 months ago
A Framework for Testing Model Composition Engines
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
Freddy Munoz, Benoit Baudry
ATAL
2006
Springer
15 years 8 months ago
Automated analysis and verification of agent behavior
Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
Tibor Bosse, Dung N. Lam, K. Suzanne Barber
SCAM
2006
IEEE
15 years 10 months ago
Cross-Language Program Analysis and Refactoring
Many software systems are mixed-language systems today, i.e., they bind together components defined in different programming and specification languages. Analyses and refactorin...
Dennis Strein, Hans Kratz, Welf Löwe
PROFES
2004
Springer
15 years 9 months ago
Introducing the Next Generation of Software Inspection Tools
The area of tool support for software inspection has been under active research since the early 1990's. Although numerous implementations exist and development is still taking...
Henrik Hedberg
BMCBI
2007
115views more  BMCBI 2007»
15 years 4 months ago
SpliceMiner: a high-throughput database implementation of the NCBI Evidence Viewer for microarray splice variant analysis
Background: There are many fewer genes in the human genome than there are expressed transcripts. Alternative splicing is the reason. Alternatively spliced transcripts are often sp...
Ari B. Kahn, Michael C. Ryan, Hongfang Liu, Barry ...