1886 search results - page 115 / 378 » Modeling and Enacting Software Processes Using VRPML |
168
click to vote
CG
2007
Springer
15 years 4 months ago
2007
Springer
In this article we describe an ongoing effort to integrate information visualization techniques into the process of configuration management for software systems. Our focus is to...
167
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: Tandem mass spectrometry (MS/MS) has emerged as the leading method for high- throughput protein identification in proteomics. Recent technological breakthroughs have d...
153
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Agile is an iterative approach to software development that relies on strong collaboration and automation to keep pace with dynamic environments. We have successfully ...
141
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
138
Voted
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract-- Dataflow representations of Digital Signal Processing (DSP) software have been developing since the 1980's. They have proven to be useful in identifying bottlenecks...