3101 search results - page 455 / 621 » Using Relational Databases in the Engineering Repository Sys... |
171
Voted
KDD
2006
ACM
16 years 6 months ago
2006
ACM
Localized search engines are small-scale systems that index a particular community on the web. They offer several benefits over their large-scale counterparts in that they are rel...
160
click to vote
KBSE
2007
IEEE
16 years 18 days ago
2007
IEEE
Randomized testing has been shown to be an effective method for testing software units. However, the thoroughness of randomized unit testing varies widely according to the settin...
191
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Recent advances with high-throughput methods in life-science research have increased the need for automatized data analysis and visual exploration techniques. Sophisti...
139
click to vote
AUIC
2004
IEEE
15 years 10 months ago
2004
IEEE
Conventional travel itineraries list travel related information, such as flights and hotel bookings, in a chronological order of date and time. As such the only observable relatio...
161
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...