3101 search results - page 594 / 621 » Using Relational Databases in the Engineering Repository Sys... |
106
Voted
ISPW
2005
IEEE
15 years 8 months ago
2005
IEEE
A process defines the way activities are organized, managed, measured, supported and improved to reach a goal. It has been shown, 15 years ago [1] that processes are software too; ...
122
Voted
VSTTE
2010
Springer
15 years 7 days ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
168
Voted
BMCBI
2004
15 years 2 months ago
2004
Background: Once specific genes are identified through high throughput genomics technologies there is a need to sort the final gene list to a manageable size for validation studie...
148
click to vote
CIKM
2006
Springer
15 years 6 months ago
2006
Springer
It is important yet hard to identify navigational queries in Web search due to a lack of sufficient information in Web queries, which are typically very short. In this paper we st...
135
Voted
EUROSYS
2008
ACM
15 years 11 months ago
2008
ACM
Financial efficiency is the premier performance measure for most systems. Existing economic ecosystems for distribution of multimedia leave a lot to be desired: client-server plat...