3101 search results - page 594 / 621 » Using Relational Databases in the Engineering Repository Sys... |
ISPW
2005
IEEE
15 years 4 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; ...
84
Voted
VSTTE
2010
Springer
14 years 9 months 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...
133
click to vote
BMCBI
2004
14 years 11 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...
111
click to vote
CIKM
2006
Springer
15 years 2 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...
101
click to vote
EUROSYS
2008
ACM
15 years 8 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...